Closed jukzi closed 4 weeks ago
https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/736
@stephan-herrmann for more info if it happens again.
https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/736