Change-Id: Id8680f601cba63073a6847e41e23ce243a42cd7b
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/185722
Tested-by: Lars Vogel <Lars.Vogel@vogella.com>
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>