Seen in jenkins builds for
https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1351