I20210523-1800
Change-Id: Ife172f9ff21c684fcc8d6a271681084d98d856d9 Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/180903 Tested-by: Stephan Herrmann <stephan.herrmann@berlin.de> Reviewed-by: Stephan Herrmann <stephan.herrmann@berlin.de>