Fixes https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1610

Co-authored-by: Christoph Läubrich <laeubi@laeubi-soft.de>