This revision comments out a print statement in TypeChecker.java that I missed
in the previous revision.
This revision updates the javalanglevels-base.jar file in drjava/lib
to the latest build of javalanglevels in drjava/javalanglevels.