edu.rice.cs.drjava.config including updating the license blocks,
adjusting the line width to 120 columns, and re-enabling some
commented out unit test that inexplicably failed in Java 1.3.1.
The following files were modified:
M src/edu/rice/cs/drjava/config/OptionMap.java
M src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
M src/edu/rice/cs/drjava/config/ColorOptionTest.java
M src/edu/rice/cs/drjava/config/Configuration.java
M src/edu/rice/cs/drjava/config/FileConfiguration.java
M src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
M src/edu/rice/cs/drjava/config/OptionEvent.java
M src/edu/rice/cs/drjava/config/DefaultOptionMap.java
M src/edu/rice/cs/drjava/config/OptionListener.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOptionTest.java
M src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
M src/edu/rice/cs/drjava/config/OptionParser.java
M src/edu/rice/cs/drjava/config/ParseStrategy.java
M src/edu/rice/cs/drjava/config/StringOption.java
M src/edu/rice/cs/drjava/config/StringOptionTest.java
M src/edu/rice/cs/drjava/config/Option.java
M src/edu/rice/cs/drjava/config/FormatStrategy.java
M src/edu/rice/cs/drjava/config/OptionParseException.java
M src/edu/rice/cs/drjava/config/IntegerOption.java
M src/edu/rice/cs/drjava/config/IntegerOptionTest.java
M src/edu/rice/cs/drjava/config/VectorOption.java
M src/edu/rice/cs/drjava/config/VectorOptionTest.java
M src/edu/rice/cs/drjava/config/OptionMapLoaderTest.java