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

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