I tried my best to restore the original (buggy) state of my Eclipse instance, including reverting all files (projects, settings, runtimes, etc) to that revision but I couldn't reproduce the bug again. Probably something has managed to evade my attention...
Anyways, thank you for the jstack hint, I'll definitely use it next time when I encounter such an error.