I20211025-1800
Change-Id: Icb28cbe877e218b026f139bb1306f4ff6c2219c0 Signed-off-by: Dennis Hendriks <dh_tue@hotmail.com> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/186898 Reviewed-by: Mickael Istria <mistria@redhat.com> Tested-by: Platform Bot <platform-bot@eclipse.org>