Community
Participate
Working Groups
Fixed with http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=ada0546ae4aa696282dab6c75190df83e5823269
.