Needed by
https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/172223

Change-Id: Iccbc54c20e9b18877c2699c7cae689a77effa9a0
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/183266
Tested-by: Platform Bot <platform-bot@eclipse.org>