src/jdk.compiler/share/classes/com/sun/tools/doclint/DocLint.java

*** 78,88 ****
  public class DocLint implements Plugin {
  
      public static final String XMSGS_OPTION = "-Xmsgs";
      public static final String XMSGS_CUSTOM_PREFIX = "-Xmsgs:";
      private static final String STATS = "-stats";
-     public static final String XIMPLICIT_HEADERS = "-XimplicitHeaders:";
      public static final String XCUSTOM_TAGS_PREFIX = "-XcustomTags:";
      public static final String XHTML_VERSION_PREFIX = "-XhtmlVersion:";
      public static final String XCHECK_PACKAGE = "-XcheckPackage:";
      public static final String SEPARATOR = ",";
  
--- 78,87 ----
*** 287,299 ****
          for (String arg : args) {
              if (arg.equals(XMSGS_OPTION)) {
                  env.messages.setOptions(null);
              } else if (arg.startsWith(XMSGS_CUSTOM_PREFIX)) {
                  env.messages.setOptions(arg.substring(arg.indexOf(":") + 1));
-             } else if (arg.matches(XIMPLICIT_HEADERS + "[1-6]")) {
-                 char ch = arg.charAt(arg.length() - 1);
-                 env.setImplicitHeaders(Character.digit(ch, 10));
              } else if (arg.startsWith(XCUSTOM_TAGS_PREFIX)) {
                  env.setCustomTags(arg.substring(arg.indexOf(":") + 1));
              } else if (arg.startsWith(XHTML_VERSION_PREFIX)) {
                  String argsVersion = arg.substring(arg.indexOf(":") + 1);
                  HtmlVersion htmlVersion = HtmlVersion.getHtmlVersion(argsVersion);
--- 286,295 ----