importing the OptionConstants class.
The following files were modified:
M drjava/lib/platform.jar
M drjava/src/edu/rice/cs/drjava/model/repl/newjvm/NewJVMTest.java
M drjava/src/edu/rice/cs/drjava/model/GlobalModelCompileErrorsTest.java
M drjava/src/edu/rice/cs/drjava/model/GlobalModelListener.java
M drjava/src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M drjava/src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java