diff -r 09cded555a99 -r 1e8c2f062ad3 jdk/src/jdk.policytool/share/classes/module-info.java
--- a/jdk/src/jdk.policytool/share/classes/module-info.java	Wed Jun 07 18:54:45 2017 -0700
+++ b/jdk/src/jdk.policytool/share/classes/module-info.java	Wed Jun 07 21:15:06 2017 -0700
@@ -24,7 +24,13 @@
  */
 
 /**
- * GUI tool for managing policy files.
+ * Defines the GUI tool for managing policy files
+ * called <em>{@index policytool policytool}</em>.
+ *
+ * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
+ * <dt class="simpleTagLabel">Tool Guides:
+ * <dd>{@extLink policytool_tool_reference policytool}
+ * </dl>
  *
  * @since 9
  * @deprecated
@@ -39,4 +45,3 @@
     requires java.security.jgss;
     requires jdk.security.jgss;
 }
-