all-threads, no-join and lucky checks are still disabled,
though.
D lib/junit.jar
D lib/buildlib/concutest-junit-3.8.2-withrt.jar
AM lib/buildlib/concutest-junit-4.7-withrt.jar
AM lib/concutest-junit-4.7-withrt.jar
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M build.xml