% svn merge -r 4990:head https://drjava.svn.sourceforge.net/svnroot/drjava/trunk/drjava
--- Merging r4991 through r4995 into '.': U lib/javalanglevels-base.jar U lib/docs.jar U src/edu/rice/cs/drjava/config/OptionConstants.java
Authored by: mgricken 2009-08-18
Parent: [r4995]
Child: [r4997]