DrJava Legacy SVN Repository

Components are now properly disabled when a value is defined
in the options.properties file.

Still to do: It's not good that the values defined in the
options.properties file are also copied over into the .drjava
file.

M src/edu/rice/cs/drjava/config/OptionConstants.java
A + src/edu/rice/cs/drjava/config/options.properties
M src/edu/rice/cs/drjava/config/OptionParser.java
D src/edu/rice/cs/drjava/config/enabled.properties
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java

Branch for feature request: Generate Custom drjava.jar
https://sourceforge.net/tracker/?func=detail&aid=2989492&group_id=44253&atid=438938

This fixes a bug in the build script that caused JUnit to fail in the Windows exe file.

Created tag drjava-beta-20100415-r5220

Filtering out Eclipse's about.html from jar.

Fixes bug 2985291: Delay in GUI when selecting compiler

The delay was caused by initiating the reset of the interactions pane
in the event thread and waiting for it to complete. I have spun this
off in a separate thread now.

Enabling tests for boolean short-circuiting again. They now pass.

Updated DynamicJava and PLT Utilities jars.

DynamicJava: Fix for bug when array initializer is assigned to a non-array type.

DynamicJava: Fixed internal error for "+=" used with strings.