Change-Id: Iafaa4aeca0099ea03ba3506bc72f784848839116
Signed-off-by: Dirk Fauth <dirk.fauth@googlemail.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/179511
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Christoph Laeubrich <laeubi@laeubi-soft.de>
Reviewed-by: Sebastian Ratz <sebastian.ratz@sap.com>