I20251016-1800
Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4503 --------- Co-authored-by: Stephan Herrmann <stephan.herrmann@berlin.de>
Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4503 --------- Co-authored-by: Stephan Herrmann <stephan.herrmann@berlin.de>