--- a/langtools/src/share/classes/javax/tools/JavaFileObject.java	Wed Dec 18 19:22:58 2013 +0000
+++ b/langtools/src/share/classes/javax/tools/JavaFileObject.java	Wed Dec 18 16:05:18 2013 -0500
@@ -81,7 +81,7 @@
             extension.getClass(); // null check
             this.extension = extension;
         }
-    };
+    }
 
     /**
      * Gets the kind of this file object.