--- a/langtools/src/share/classes/com/sun/source/doctree/DocTree.java	Wed Dec 18 19:22:58 2013 +0000
+++ b/langtools/src/share/classes/com/sun/source/doctree/DocTree.java	Wed Dec 18 16:05:18 2013 -0500
@@ -236,7 +236,7 @@
         Kind(String tagName) {
             this.tagName = tagName;
         }
-    };
+    }
 
     /**
      * Gets the kind of this tree.