### 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.846 diff -u -r1.846 plugin.xml --- plugin.xml 6 Dec 2010 07:02:24 -0000 1.846 +++ plugin.xml 20 Jul 2011 17:04:06 -0000 @@ -5739,10 +5739,20 @@ priority="high"> - - - - + + + + + + + + + + + + + + @@ -5750,7 +5760,20 @@ - + + + + + + + + + + + + + +