Closed stephan-herrmann closed 3 weeks ago
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2852
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2852