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