DrJava Legacy SVN Repository

Fixes bug 2484394: Debug mode closes breakpoints tab

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

Fixes bug 2484223: JDK 6.0_11 not found
https://sourceforge.net/tracker2/index.php?func=detail&aid=2484223&group_id=44253&atid=438935

The JDK6 compiler adapter was created and returned available even
if tools.jar was not found. In revision 4674, a test for the class
com.sun.tools.javac.main.JavaCompiler was removed, but this test
is essential for finding out whether the compiler (in the tools.jar)
file is available.

M platform/src-jdk6/edu/rice/cs/drjava/model/compiler/Javac160Compiler.java
M platform/classes/base-jdk6/edu/rice/cs/drjava/model/compiler/Javac160Compiler$1.class
M platform/classes/base-jdk6/edu/rice/cs/drjava/model/compiler/Javac160Compiler$CompilerErrorListener.class
M platform/classes/base-jdk6/edu/rice/cs/drjava/model/compiler/Javac160Compiler.class
M drjava/lib/platform.jar

Eclipse: Updated documentation and licensing.

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.