Open jukzi opened 2 weeks ago
https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1443
should have caused a failing test, as local :.-(
https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1443