DrJava Legacy SVN Repository

PLT Utilities: Cleaned up stray tab characters.

PLT Utilities: Various cleanup to satisfy the Eclipse compiler. (Some Eclipse warnings still occur, usually where t the code is correct, but the compiler has a bug.)

Platform: Updated build script. Renamed "jdk15", etc., to "jdk5", and "jdk16", etc., to "jdk6". Guaranteed that tests run under the correct JVM if there are dependencies.

Language Levels: Updated build script and accompanying libraries. Java 1.4 is no longer being targeted.

DynamicJava: Updated build script and accompanying libraries. Java 1.4 is no longer being targeted.

PLT Utilities: Fixed a bug in NoDuplicatesIterator. (It was implemented in terms of FilteredIterator, which wasn't correct without breaking the abstraction to access the lookahead value. It's now similar to FilteredIterator, but unrelated.)

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.