Community
Participate
Working Groups
Details and fix see bug 416245.
Markus please review for 4.3.2 (no hurry).
Looks good, OK to cherry-pick.
Fixed with http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=9dfdb7c98f003b485e9d23a47b5f6b86ab269be5
Verified in M20131218-0800.