--- old/jdk/src/jdk.policytool/share/classes/module-info.java	2017-06-06 22:44:07.000000000 -0700
+++ new/jdk/src/jdk.policytool/share/classes/module-info.java	2017-06-06 22:44:06.000000000 -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