DrJava Legacy SVN Repository

This commit simply has a revised build file that makes Java 7 the
default JDK rather than Java 8. In fact, only the OpenJDK Java 7
compiler appears to work on Linux.

This is an experimental commit. The files were created in the Windows
NTFS file system using WUBI Linux but commited from Windows. The
primary changes are to build.xml in an attempt to support compiling
and testing in Java 6, 7, and 8. Compilation is typically done using
Java but with 1.6 as a target so that class files version tags are
compatible with Java 6. The only changes are small formatting
corrections.

The following files were modified:

M build.xml
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
M src/edu/rice/cs/drjava/model/repl/JavaInterpreterTest.java

This revision includes an updated platform.jar file supporting JDK 8.

The following files were modified:

M build.xml
M lib/platform.jar

Created tag drjava-stable-20130901-r5756

This commit patches build.xml to use the new svn repository address:
https://drjava.svn.sourceforge.net/svnroot/drjava

The following file was modified:

M build.xml

This commit consists of a few patches to support the Oracle Java 7
compiler on Mac OS X; Oracle changed the organization of the
distribution file tree when it assumed reponsibility for Java releases
on Macs. These patches also support using JDK 8 (at least on Linux).
The commit also includes a slightly modified build file that includes
a new property binding to eliminate a plethora of test failures under
Java 7 using ant; this change was gleaned from searching the internet.
It is not clear what difference the new property binding makes.

The following files were modified:

M lib/plt.jar
M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/DrJavaFileUtils.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/compiler/CompilerInterface.java
M src/edu/rice/cs/drjava/DrJavaTestCase.java
M build.xml

This commit makes some additional patches to JavaVersion and
JavaVersionTest to support JDK 8.

The following files were modified:

M src/edu/rice/cs/plt/reflect/JavaVersionTest.java
M src/edu/rice/cs/plt/reflect/JavaVersion.java

This commit pathces the tools library classes so that they correctly find the Java 7 compiler in the Oracle JDK 7 for the Mac. These changes depend on supporting changes to the JavaVersion class in the plt code base.

The following files were modified:

M lib/plt.jar
M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/util/text/SwingDocumentTest.java

This commit patches the JavaVersion class to accommodate Oracle Java 7 JVMs on the Mac. It also makes a small revision to build.xml to keep many unit test from inexplicably breaking on Java 7.

The following files were modified

M src/edu/rice/cs/plt/reflect/JavaVersion.java
M build.xml