### 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.822 diff -u -r1.822 plugin.xml --- plugin.xml 4 Feb 2009 16:46:51 -0000 1.822 +++ plugin.xml 5 Feb 2009 22:16:54 -0000 @@ -5641,6 +5641,7 @@ +