DrJava Legacy SVN Repository

Add plt.jar to Language Levels

Replaced version Strings in Language Levels with JavaVersion objects

Updated platform.jar to rev 4134

Added a version() method to the compiler interfaces in platform.jar

Updated platform.jar with the fixed Javac160Compiler.

Compiled the Javac160Compiler adapter class.

This revision makes very minor changes to DefaultCompilerModel to work around a bug in the JDK 6.0 version of javac. In particular, the signature
of the private method

_compileLanguageLevelsFiles(List<? extends File> files, List<? super CompilerError> errors)

in DefaultCompilerModel has been weakened to

_compileLanguageLevelsFiles(List<? extends File> files, List<CompilerError> errors) {

to avoid tripping over a compiler bug. Since the method is only called from one site, the more general signature (while more elegant) is unnecessary.

Updated build script to point to plt-ant.jar

Added plt-ant mini-module to the misc directory with a build script and Mathias's custom JUnit formatters.

Simplified the compiler locating and loading process. ClassLoaders are used to dynamically load any needed compilers without requiring a restart. Added JDKToolsLibrary and JarJDKToolsLibrary which handle the process of searching for tools.jar files and create the appropriate CompilerInterface and Debugger objects. Removed all unnecessary compiler adapters and other compiler model support classes. Modified DefaultGlobalModel to use the JDKToolsLibrary classes when it is created.