This package contains the code that allows for dynamically modifying
the configuration options in DrJava. {@link
edu.rice.cs.drjava.config.Configuration} is the primary class that
maintains the config information, while {@link
edu.rice.cs.drjava.config.OptionConstants} contains all the default
values for the configurable options.