This bug is back alive when running Java8: https://sourceforge.net/p/drjava/bugs/955/...
It seems this is a known bug: https://sourceforge.net/p/drjava/bugs/955/ a private...
I encounter the same problem, and there is an open bug for it: https://sourceforge.net/p/drjava/support-requests/296/...
I also encounter the same problem! I am runnung on a Win7 64-bit with JRE and JDK...