src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java

@@ -80,11 +80,11 @@
 
     /**
      * Used for the -Xprint option and called by Elements.printElements
      */
     public static class PrintingElementVisitor
-        extends SimpleElementVisitor7<PrintingElementVisitor, Boolean> {
+        extends SimpleElementVisitor8<PrintingElementVisitor, Boolean> {
         int indentation; // Indentation level;
         final PrintWriter writer;
         final Elements elementUtils;
 
         public PrintingElementVisitor(Writer w, Elements elementUtils) {