Follow-up work for commit
https://github.com/eclipse-platform/eclipse.platform.ui/commit/9ee38b51ad1aad29836f1c8ba241fc667483cbb5