See https://github.com/eclipse-jdt/eclipse.jdt.core/pull/5054
Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/3992