Change-Id: If4e18a11b94ffeb10053cfa7d2dfc8de417f7c23
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/186795
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Tested-by: Jeff Johnston <jjohnstn@redhat.com>
Reviewed-by: Jeff Johnston <jjohnstn@redhat.com>