Original patch from https://bugs.eclipse.org/bugs/show_bug.cgi?id=578964
most likely had a typo => fixed condition

Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/207