Closed iloveeclipse closed 1 month ago
Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2614
Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/2614