DrJava Legacy SVN Repository

This revision adds code to close the "error panels" (compiler error
panel, junit panel, and javadoc error panel) when all files are
closed. It also includes many minor cosmetic changes to the code base
and repair of a minor bug in the definition of getSelectedErrorPanel
which was assumed to always return a compiler error panel or null but
did not.

The following files were changed:

M src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
M src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsEditorKit.java
M src/edu/rice/cs/drjava/model/FindReplaceMachineTest.java
M src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M src/edu/rice/cs/drjava/model/GlobalModelListener.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/FileGroupingState.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/CompilerErrorPanel.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/ui/AbortablePanel.java
M src/edu/rice/cs/drjava/ui/ErrorCaretListener.java
M src/edu/rice/cs/drjava/ui/AbstractDJPane.java
M src/edu/rice/cs/drjava/ui/JavadocErrorPanel.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M src/edu/rice/cs/drjava/ui/JUnitPanel.java

Disabling ConcJUnit with the "enable/disable" checkbox didn't work.

M src/edu/rice/cs/drjava/DrJava.java

Fixed bug 2865181: Can't open Drjava
(originally a support request)

Deleting Mint branch. It was merged back into the trunk.

Implements feature 2869349:
Detect ConcJUnit rt.jar Version Mismatch

M lib/buildlib/concutest-junit-3.8.2-withrt.jar
M src/edu/rice/cs/drjava/DrJava.java
M src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
A src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java

Added -Dlink-source=yes Ant parameter to create Javadoc
with source linked.

M plt/build.xml
M dynamicjava/build.xml
M drjava/build.xml
M javalanglevels/build.xml

Implemented feature 2869345: Disable ConcJUnit Without Clearing Path

Merging in trunk-mint branch into trunk.

_M .
M plt/src/edu/rice/cs/plt/reflect/JavaVersionTest.java
M plt/src/edu/rice/cs/plt/reflect/JavaVersion.java
_M plt/src/edu/rice/cs/plt/collect/MutableRelationTest.java
D platform/src-jdk14
A platform/src-mint
A platform/src-mint/edu
A platform/src-mint/edu/rice
A platform/src-mint/edu/rice/cs
A platform/src-mint/edu/rice/cs/drjava
A platform/src-mint/edu/rice/cs/drjava/model
A platform/src-mint/edu/rice/cs/drjava/model/compiler
AM platform/src-mint/edu/rice/cs/drjava/model/compiler/MintCompilerTest.java
AM platform/src-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.java
A + platform/classes/base-mint
A + platform/classes/base-mint/edu
A + platform/classes/base-mint/edu/rice
A + platform/classes/base-mint/edu/rice/cs
A + platform/classes/base-mint/edu/rice/cs/drjava
A + platform/classes/base-mint/edu/rice/cs/drjava/model
A + platform/classes/base-mint/edu/rice/cs/drjava/model/compiler
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1$1.class
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$CompilerErrorListener.class
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.class
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1.class
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$2.class
AM platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$3.class
D platform/classes/base-jdk14
M platform/classes/base-jdk5/edu/rice/cs/drjava/model/compiler/Javac150Compiler.class
M platform/build.xml
_M drjava
M drjava/lib/platform.jar
M drjava/lib/docs.jar
M drjava/lib/buildlib/concutest-junit-3.8.2-withrt.jar
M drjava/lib/plt.jar
M drjava/src/edu/rice/cs/drjava/platform/PlatformSupport.java
M drjava/src/edu/rice/cs/drjava/platform/DefaultPlatform.java
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
M drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
M drjava/src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M drjava/src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M drjava/src/edu/rice/cs/drjava/model/repl/newjvm/ClassPathManager.java
M drjava/src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
M drjava/src/edu/rice/cs/drjava/model/repl/SimpleInteractionsModel.java
M drjava/src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/compiler/NoCompilerAvailable.java
M drjava/src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
M drjava/src/edu/rice/cs/drjava/model/compiler/CompilerInterface.java
D docs/src/javaapi/allclasses-junit3.8.2.html

Fixed Mint-before-anything order.

Fixed Mint library lookup and compiler ordering:
Mint always last.

M plt/src/edu/rice/cs/plt/reflect/JavaVersion.java
M plt/src/edu/rice/cs/plt/reflect/JavaVersionTest.java
M drjava/lib/plt.jar
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java