diff -r bfbc197b560f -r 694ff82ca68e src/share/classes/javax/lang/model/element/Element.java
--- a/src/share/classes/javax/lang/model/element/Element.java	Tue Apr 12 20:58:06 2011 -0700
+++ b/src/share/classes/javax/lang/model/element/Element.java	Wed Apr 13 11:35:43 2011 -0700
@@ -232,8 +232,8 @@
      *
      * @return the enclosed elements, or an empty list if none
      * @see Elements#getAllMembers
-     * @jls3 8.8.9 Default Constructor
-     * @jls3 8.9 Enums
+     * @jls 8.8.9 Default Constructor
+     * @jls 8.9 Enums
      */
     List<? extends Element> getEnclosedElements();