Community
Participate
Working Groups
This bug is the parent of bug 403000, bug 403004, bug 403016 and bug 403023.
Created attachment 228281 [details] Fix. Proposed fix for bug 403000, bug 403004, bug 403016 and bug 403023.
Thanks for the patch Manju. I've removed the part which fixes the invalid bug 403004, but otherwise the patch is fine. Fixed with http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=4040304852a0dba347a65c7ed192f1c5456e55dd
*** Bug 403023 has been marked as a duplicate of this bug. ***
*** Bug 403016 has been marked as a duplicate of this bug. ***
*** Bug 403000 has been marked as a duplicate of this bug. ***
Verified in I20130313-2000.