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.
The association of an OptionName with the ability to parse something to type T; the intended type
parameterization is covariant: if U extends T, then OptionParser extends OptionParser.