DrJava Legacy SVN Repository

PLT Utilities: Updated build script and accompanying libraries. No longer targeting Java 1.4.

Tweaked javac invocation in build script

Another fix for resolving tools.jar in the build script.

Fixed resolution of tools.jar in "ant test" -- it now correctly corresponds to the version of java used to run tests.

Build script revision.

- Removed Java 1.4-related targets from Ant, and deleted Retroweaver backwards-compatibility libraries.

- Compilation is performed against the Java 5 APIs, regardless of the running Java version. JAVA5_HOME must be set. Test and run targets also can be invoked to run with a specific JVM version (identified with JAVA5_HOME or JAVA6_HOME).

- Build properties can be loaded from a file "../ant.properties"; filename is customizable with "ant -Dprops=<filename> ...".

- Property renaming: "-Dtest-drjava-config=..." is now "-Ddrjava.test.config=...".

- Updated findbugs build target to generate its filter file on-the-fly -- rather than editing the findbugs-filter.xml file, changes can be made directly in build.xml. Added an option for customizing the FindBugs timeout.

- Updated ant-contrib.jar to 1.0b3. This fixes incorrect behavior in the try/catch construct. (Cleaned up related workaround code in build.xml.)

- Replaced strip-license & relicense scripts with an Ant target.

- Fixed bugs in the "benchmark" build target. (Generating a user-readable report is still a to-do.)

- Misc minor cleanup in build.xml.

PLT Utilities: Added LambdaUtil.lift methods; added ReflectUtil.SYSTEM_CLASS_PATH field.

Fixed a Java 1.4 incompatibility.

M drjava/src/edu/rice/cs/drjava/model/DJError.java

This revision changes the name of the class CompilerError to DJError,
which is referenced (but not defined) in this code base.

This revision also update build.xml to use JAVA15_HOME instead of
JAVA5_HOME and JAVA16_HOME instead of JAVA6_HOME.

M src-jdk14/edu/rice/cs/drjava/model/compiler/Javac141Compiler.java
M src-jdk15/edu/rice/cs/drjava/model/compiler/Javac150Compiler.java
M src-jdk15/edu/rice/cs/drjava/model/compiler/Javac150CompilerTest.java
M src-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler.java
M src-jdk16/edu/rice/cs/drjava/model/compiler/Javac160CompilerTest.java
M classes/base-jdk14/edu/rice/cs/drjava/model/compiler/Javac141Compiler$OurLog.class
M classes/base-jdk14/edu/rice/cs/drjava/model/compiler/Javac141Compiler.class
M classes/base-jdk14/edu/rice/cs/drjava/model/compiler/Javac141Compiler$1.class
M classes/base-jdk15/edu/rice/cs/drjava/model/compiler/Javac150Compiler$OurLog.class
M classes/base-jdk15/edu/rice/cs/drjava/model/compiler/Javac150Compiler.class
M classes/base-jdk15/edu/rice/cs/drjava/model/compiler/Javac150Compiler$1.class
M classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$1.class
M classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$CompilerErrorListener.class
M classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler.class
M build.xml

This commit renames the class CompilerError as DJError. This class is
subclassed by JUnitError so the old CompilerError name is misleading.
In the future, DJError should be made abstract and new operations on
DJError should be replaced by new operations on appropriate
subclasses.

This revision also ensures that all caretUpdate code that touches
event-thread-only swing components runs in the event thread.

If DrJava is unable to restart itself (e.g. because the heap size
is too large), DrJava now asks the user if the configuration (.drjava
file) should be reset. If the user confirms, DrJava attempts to
load itself again. It gives up if loading fails a second time.

M src/edu/rice/cs/drjava/DrJava.java