### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.ui
Index: plugin.xml
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.ui/plugin.xml,v
retrieving revision 1.742
diff -u -r1.742 plugin.xml
--- plugin.xml 23 May 2007 12:05:49 -0000 1.742
+++ plugin.xml 13 Jun 2007 01:06:26 -0000
@@ -3059,6 +3059,12 @@
parentId="org.eclipse.ui.textEditorScope"
id="org.eclipse.jdt.ui.javaEditorScope">
+
+
+
+
+
+