Disabling ConcJUnit with the "enable/disable" checkbox didn't work.
M src/edu/rice/cs/drjava/DrJava.java
Authored by: mgricken 2009-09-30
Parent: [r5099]
Child: [r5101]