Open stephan-herrmann opened 1 month ago
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2635
fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2635