--- a/.hgtags-top-repo	Thu Jul 30 15:23:25 2015 -0700
+++ b/.hgtags-top-repo	Wed Jul 05 20:43:37 2017 +0200
@@ -317,3 +317,4 @@
 8582c35016fb6211b373810b6b172feccf9c483b jdk9-b72
 4c2cbaae528bce970dabbb5676005d379357f4b6 jdk9-b73
 57f3134853ecdd4a3ee2d4d26f22ba981d653d79 jdk9-b74
+8fd6eeb878606e39c908f12535f34ebbfd225a4a jdk9-b75

--- a/modules.xml	Thu Jul 30 15:23:25 2015 -0700
+++ b/modules.xml	Wed Jul 05 20:43:37 2017 +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>