Thanks for the heads up! I need to update my site's version of the KLIPSE plugin to a newer version that contains https://github.com/viebel/klipse/pull/131 , which detects situations like this and allows the user to break out of them - my bad. I'll do that early next week.