DrJava Legacy SVN Repository

Updated build template reflecting recent changes in the build scripts -- removed Java 1.4 support; added FindBugs; improved testing options; changed version tags to use svn revisions.

Eclipse: Updated build script to eliminate Java 1.4 references and match the template and other scripts.

Eclipse: Always uses user.home as the working directory; added a top-level reset toolbar button; cleaned up deprecated copy/paste code.

Workaround for a NullPointerException arising when the Eclipse plug-in performs a reset. MainJVM assumed a pointer to a Swing object was non-null. (This should be fixed by eliminating the strong tie to Swing in MainJVM.)

Added a timeout to the slave JVM protocol in cases when the slave does not register.

Eclipse: Completed bulk of migration to compatibility with the current DrJava sources, Eclipse 3.2+, and ant-driven building. A few rough edges remain to be cleaned up. The plug-in can now be built using "ant jar" and copying the result to the Eclipse plug-ins directory.

Code cleanup recommended by Eclipse. Mostly removed dead code and added generic arguments; touched many files.

Misc minor build script cleanup.

PLT Utilities: Added Condition as a 0-ary Predicate. I wasn't previously convinced there was a use case, but found one in WeakHashSetTest -- an abstraction of a condition expression whose value depends on state. Also cleaned up javadoc comments.

PLT Utilities: Cleaned up stray tab characters.