DrJava Legacy SVN Repository

- 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.