jdk/src/jdk.policytool/share/classes/module-info.java

*** 22,32 ****
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   */
  
  /**
!  * GUI tool for managing policy files.
   *
   * @since 9
   * @deprecated
   */
  @Deprecated(since="9", forRemoval=true)
--- 22,38 ----
   * or visit www.oracle.com if you need additional information or have any
   * questions.
   */
  
  /**
!  * 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
   */
  @Deprecated(since="9", forRemoval=true)