Annoyed by them while fixing
https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/2732 and done a bit.