--- a/langtools/src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java	Thu Jul 17 10:55:50 2014 -0400
+++ b/langtools/src/share/classes/com/sun/tools/javac/processing/PrintingProcessor.java	Thu Jul 17 09:47:25 2014 -0700
@@ -83,7 +83,7 @@
      * Used for the -Xprint option and called by Elements.printElements
      */
     public static class PrintingElementVisitor
-        extends SimpleElementVisitor8<PrintingElementVisitor, Boolean> {
+        extends SimpleElementVisitor9<PrintingElementVisitor, Boolean> {
         int indentation; // Indentation level;
         final PrintWriter writer;
         final Elements elementUtils;