DrJava Legacy SVN Repository

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.

This revision eliminates a reference to the getText method of inner class InputBox within InputController outside the event thread. It appears to fix the rmaining glitches in console input within the interactions pane. The revision also includes some minor changes to formatting and a few conversions of catch(Throwable ...) to catch(Exception ...). The following files were modified:

M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java

Addresses bugs [ drjava-Bugs-1652900 ] Installation
and [ 1653653 ] alireza

M src/edu/rice/cs/drjava/ui/HTMLFrame.java