Missed during review of
https://github.com/eclipse-platform/eclipse.platform.ui/pull/3129