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