Change-Id: If4e0eb848deb6b677f5065979cf2776938fcdc11
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/128470
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Tested-by: Jeff Johnston <jjohnstn@redhat.com>
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>