Workaround to https://bugs.openjdk.java.net/browse/JDK-8129828

Doc/tools_jar_dejavu.patch

+diff -Naur tools_jar.orig/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css tools_jar/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css
+--- tools_jar.orig/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css	2017-03-15 01:19:46.000000000 +0100
++++ tools_jar/com/sun/tools/doclets/internal/toolkit/resources/stylesheet.css	2017-05-20 15:07:34.000000000 +0200
+@@ -3,7 +3,7 @@
+ Overall document style
+ */
+ 
+-@import url('resources/fonts/dejavu.css');
++/* goik: missing due to bugreport @import url('resources/fonts/dejavu.css'); */
+ 
+ body {
+     background-color:#ffffff;