I20210714-1800
Change-Id: Icba22d5bcf1c8d027d6592a3f1fb9cf04d52e34c Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de> Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/183038 Tested-by: JDT Bot <jdt-bot@eclipse.org>
Change-Id: Icba22d5bcf1c8d027d6592a3f1fb9cf04d52e34c Signed-off-by: Stephan Herrmann <stephan.herrmann@berlin.de> Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/183038 Tested-by: JDT Bot <jdt-bot@eclipse.org>