Change-Id: If001c9d404f99d37c15482e1244b55967477e44b
Signed-off-by: Christoph Läubrich <laeubi@laeubi-soft.de>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/184053
Tested-by: PDE Bot <pde-bot@eclipse.org>
Tested-by: Julian Honnen <julian.honnen@vector.com>
Reviewed-by: Julian Honnen <julian.honnen@vector.com>