--- a/modules.xml	Wed Jul 05 20:43:22 2017 +0200
+++ b/modules.xml	Fri Jul 24 08:37:42 2015 +0200
@@ -1565,6 +1565,10 @@
       <to>jdk.javadoc</to>
     </export>
     <export>
+      <name>com.sun.tools.javac.platform</name>
+      <to>jdk.javadoc</to>
+    </export>
+    <export>
       <name>com.sun.tools.javac.sym</name>
       <to>jdk.javadoc</to>
     </export>