DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Option that allows a user to choose whether to compile with race detection or not

Authored by: jrp1 2010-12-14

Parent: [r5417]

changed	/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
changed	/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/model/compiler/CompilerOptions.java
changed	/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java
changed	/branches/drjava-hj/drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
changed	/branches/drjava-hj/platform/src-hj/edu/rice/cs/drjava/model/compiler/HjCompiler.java