DrJava Legacy SVN Repository

activated when the JDK used is Update 4 or newer.
When the compiler is initialized, junit.jar is extracted from the DrJava
executable and written into a temporary file. That temporary file (and
all other files matching the pattern drjava-junit#####.jar, which may
have been left behind by an incomplete shutdown) is deleted when DrJava
is closed.

M platform/src-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler.java
M platform/classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$1.class
AM platform/classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$2.class
AM platform/classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$1$1.class
M platform/classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler$CompilerErrorListener.class
M platform/classes/base-jdk16/edu/rice/cs/drjava/model/compiler/Javac160Compiler.class
M drjava/lib/platform.jar
M drjava/build.xml