Change-Id: Ieec93828e1141a5fc899477d64121b059f0f5e54
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/186095
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Marcus Höpfner <marcus.hoepfner@sap.com>