DrJava Legacy SVN Repository

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

Fixed a NullPointerException that could occur if two modal windows
were opened and closed in a certain sequence.

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

This revision fixes some bugs in the implementation of traversing
"recent documents" (activated by <CTRL>{<SHIFT>}<BACKQUOTE>
keystrokes). Recent document traversal nows works uniformly in the
main frame regardless of focus. The revision also fixes a small bug
in the "Find Again" command, which incorrected highlighted the updated
FindResults document if the last search was in the "backwards"
direction. (We need to add a unit test for this behavior.)

The following files were modified:

M src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java

Fixed spelling error in build.xml

Created tag drjava-stable-20080904-r4668