1.1 --- a/src/share/classes/javax/lang/model/element/Element.java Tue Apr 12 20:58:06 2011 -0700 1.2 +++ b/src/share/classes/javax/lang/model/element/Element.java Wed Apr 13 11:35:43 2011 -0700 1.3 @@ -232,8 +232,8 @@ 1.4 * 1.5 * @return the enclosed elements, or an empty list if none 1.6 * @see Elements#getAllMembers 1.7 - * @jls3 8.8.9 Default Constructor 1.8 - * @jls3 8.9 Enums 1.9 + * @jls 8.8.9 Default Constructor 1.10 + * @jls 8.9 Enums 1.11 */ 1.12 List<? extends Element> getEnclosedElements(); 1.13