The fact that the JDK API docs use DejaVu fonts has percolated to many different places.

1. stylesheet.css
2. dejavu.css (the name)
3. inline styles used in some `module-info.java` files, e.g.

<dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>

4. hardcoded in com.sun.tools.jdeps.ModuleDotGraph.DotGraphAttributes#FONT_NAME, build.tools.jigsaw.GenGraphs.ModuleGraphAttributes#DEFAULT_ATTRIBUTES, build.tools.jigsaw.ModuleSummary.HtmlDocument#STYLES, etc.

5. hardcoded in the build scripts, e.g. make/Docs.gmk