This revision contains a few nominal improvements regarding synchronization and final/volatile declarations.
The following files were modified:
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/ui/JUnitPanel.java
M drjava/src/edu/rice/cs/drjava/model/junit/JUnitTestRunner.java