--- old/test/tools/javac/6402516/CheckLocalElements.java	2014-07-15 10:27:41.000000000 -0700
+++ new/test/tools/javac/6402516/CheckLocalElements.java	2014-07-15 10:27:41.000000000 -0700
@@ -110,7 +110,7 @@
         return encl == null ? "" : encl.accept(qualNameVisitor, null);
     }
 
-    private ElementVisitor<String,Void> qualNameVisitor = new SimpleElementVisitor8<String,Void>() {
+    private ElementVisitor<String,Void> qualNameVisitor = new SimpleElementVisitor9<String,Void>() {
         protected String defaultAction(Element e, Void ignore) {
             return "";
         }