The default JavaDoc stylesheet relies on DejaVu fonts, therefore with JDK-8324774 these fonts will be included in generated API documentation. However, it is possible that users who wish to use their own custom stylesheet also prefer to use their own fonts. It might be useful to allow `javadoc` users to omit DejaVu fonts from the generated documentation, either via a new command line option, or by detecting the need for the fonts package from the used stylesheet.

The combined size of the DejaVu web fonts is around 4 MB, which is not huge by today's standards, but may be relevant to some users.