I20210813-1800
with subsequent statement Change-Id: I19d85a5609a6b879c7692af609e727df511aaf29 Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/183953 Tested-by: JDT Bot <jdt-bot@eclipse.org> Reviewed-by: Stephan Herrmann <stephan.herrmann@berlin.de>