Change-Id: Ib047177a51c8d700d138dadccce77e3717d1808d
Signed-off-by: Marcus Hoepfner <marcus.hoepfner@sap.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/182323
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>