I20210417-2330
Change-Id: Idb0173627001ab15f4fd89ec7bf019db9660d311 Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/179458 Tested-by: Stephan Herrmann <stephan.herrmann@berlin.de> Reviewed-by: Stephan Herrmann <stephan.herrmann@berlin.de>