This commit is a incidental revision since the last commit. The IDE still does not fully load the
Scala compiler. The following files were modified:
M plt/src/edu/rice/cs/plt/reflect/JavaVersion.java
M drjava/lib/platform.jar
M drjava/src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java