Change-Id: I9a47970b2afe0e18b4d4a39c90b128d7ec2eba9b
Signed-off-by: Thomas Mäder <tmader@redhat.com>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/191020
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Tested-by: Jeff Johnston <jjohnstn@redhat.com>
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>