Community
Participate
Working Groups
Fixed with http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=79c2875eef78a5c0750b54cb69f2dde992ae33ca
Verified in the build: I20130311-2000-win32-x86_64