--- old/src/jdk.compiler/share/classes/com/sun/tools/doclint/Env.java	2019-03-11 13:54:56.738984548 -0700
+++ new/src/jdk.compiler/share/classes/com/sun/tools/doclint/Env.java	2019-03-11 13:54:56.522974426 -0700
@@ -93,8 +93,6 @@
     /** Message handler. */
     final Messages messages;
 
-    int implicitHeaderLevel = 0;
-
     Set<String> customTags;
 
     Set<Pattern> includePackages;
@@ -153,10 +151,6 @@
         java_lang_Void = elements.getTypeElement("java.lang.Void").asType();
     }
 
-    void setImplicitHeaders(int n) {
-        implicitHeaderLevel = n;
-    }
-
     void setCustomTags(String cTags) {
         customTags = new LinkedHashSet<>();
         for (String s : cTags.split(DocLint.SEPARATOR)) {