23  * questions.
  24  */
  25 
  26 /**
  27  * Defines the GUI tool for managing policy files
  28  * called <em>{@index policytool policytool}</em>.
  29  *
  30  * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
  31  * <dt class="simpleTagLabel">Tool Guides:
  32  * <dd>{@extLink policytool_tool_reference policytool}
  33  * </dl>
  34  *
  35  * @since 9
  36  * @deprecated
  37  */
  38 @Deprecated(since="9", forRemoval=true)
  39 module jdk.policytool {
  40     requires java.desktop;
  41     requires java.logging;
  42     requires java.management;

  43     requires java.sql;
  44     requires jdk.net;
  45     requires java.security.jgss;
  46     requires jdk.security.jgss;
  47 }

  23  * questions.
  24  */
  25 
  26 /**
  27  * Defines the GUI tool for managing policy files
  28  * called <em>{@index policytool policytool}</em>.
  29  *
  30  * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
  31  * <dt class="simpleTagLabel">Tool Guides:
  32  * <dd>{@extLink policytool_tool_reference policytool}
  33  * </dl>
  34  *
  35  * @since 9
  36  * @deprecated
  37  */
  38 @Deprecated(since="9", forRemoval=true)
  39 module jdk.policytool {
  40     requires java.desktop;
  41     requires java.logging;
  42     requires java.management;
  43     requires java.security.jgss;
  44     requires java.sql;
  45     requires jdk.net;

  46     requires jdk.security.jgss;
  47 }