I20200908-0440
Required for https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/168625 Change-Id: I10e7e41a35205a0e2440b4ec0f2e6a6865600f5d Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Required for https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/168625 Change-Id: I10e7e41a35205a0e2440b4ec0f2e6a6865600f5d Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>