For https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/2014. I modified
an existing test to also cover the issue that was fixed by that PR.

Contributes to https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/1992