### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: model/org/eclipse/jdt/internal/core/JavadocConstants.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/JavadocConstants.java,v
retrieving revision 1.4
diff -u -r1.4 JavadocConstants.java
--- model/org/eclipse/jdt/internal/core/JavadocConstants.java	14 Dec 2005 04:11:48 -0000	1.4
+++ model/org/eclipse/jdt/internal/core/JavadocConstants.java	14 Dec 2005 15:15:12 -0000
@@ -10,7 +10,8 @@
 	String CONSTRUCTOR_SUMMARY = "<!-- ======== CONSTRUCTOR SUMMARY ======== -->"; //$NON-NLS-1$
 	String FIELD_SUMMARY = "<!-- =========== FIELD SUMMARY =========== -->"; //$NON-NLS-1$
 	String ENUM_CONSTANT_SUMMARY = "<!-- =========== ENUM CONSTANT SUMMARY =========== -->"; //$NON-NLS-1$
-	String ANNOTATION_TYPE_MEMBER_SUMMARY = "<!-- =========== ANNOTATION TYPE REQUIRED MEMBER SUMMARY =========== -->"; //$NON-NLS-1$
+	String ANNOTATION_TYPE_REQUIRED_MEMBER_SUMMARY = "<!-- =========== ANNOTATION TYPE REQUIRED MEMBER SUMMARY =========== -->"; //$NON-NLS-1$
+	String ANNOTATION_TYPE_OPTIONAL_MEMBER_SUMMARY = "<!-- =========== ANNOTATION TYPE OPTIONAL MEMBER SUMMARY =========== -->"; //$NON-NLS-1$
 	String END_OF_CLASS_DATA = "<!-- ========= END OF CLASS DATA ========= -->"; //$NON-NLS-1$
 	String HTML_EXTENSION = ".html"; //$NON-NLS-1$
 	String INDEX_FILE_NAME = "index.html"; //$NON-NLS-1$
Index: model/org/eclipse/jdt/internal/core/BinaryType.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/BinaryType.java,v
retrieving revision 1.134
diff -u -r1.134 BinaryType.java
--- model/org/eclipse/jdt/internal/core/BinaryType.java	14 Dec 2005 04:11:48 -0000	1.134
+++ model/org/eclipse/jdt/internal/core/BinaryType.java	14 Dec 2005 15:15:12 -0000
@@ -997,8 +997,12 @@
 		indexOfNextSummary = contents.indexOf(JavadocConstants.ENUM_CONSTANT_SUMMARY);
 	}
 	if (this.isAnnotation() && indexOfNextSummary == -1) {
-		// try to find enum constant summary start
-		indexOfNextSummary = contents.indexOf(JavadocConstants.ANNOTATION_TYPE_MEMBER_SUMMARY);
+		// try to find required enum constant summary start
+		indexOfNextSummary = contents.indexOf(JavadocConstants.ANNOTATION_TYPE_REQUIRED_MEMBER_SUMMARY);
+		if (indexOfNextSummary == -1) {
+			// try to find optional enum constant summary start
+			indexOfNextSummary = contents.indexOf(JavadocConstants.ANNOTATION_TYPE_OPTIONAL_MEMBER_SUMMARY);
+		}
 	}
 	if (indexOfNextSummary == -1) {
 		// try to find field summary start