--- old/src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java	2011-07-01 11:17:48.000000000 -0700
+++ new/src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java	2011-07-01 11:17:47.000000000 -0700
@@ -82,7 +82,7 @@
      * 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;