maybe by https://github.com/eclipse-platform/eclipse.platform.ui/commit/1848058a52102b5deff39427365e56fe882656b3 https://github.com/eclipse-platform/eclipse.platform.ui/pull/3074 https://github.com/eclipse-xtext/xtext/pull/3530#issuecomment-3398495925