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.