Closed stephan-herrmann closed 1 month ago
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2954
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2954