I have an internal build that fixes this bug. If you send you email address to cork@rice.edu, I will send you a jar file for the internal build. We also plan to fix the bug in the build distributed from sourceforge/drjava.org within the next day or so.