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