### 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"> + + + + + +