provide "java" and "applet. Mint provides "java" and "mint"
(both of which use the Mint launcher).
Deleted JDK14 platform files.
D platform/src-jdk14
M platform/src-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.java
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1$1.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$CompilerErrorListener.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$1.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$2.class
M platform/classes/base-mint/edu/rice/cs/drjava/model/compiler/MintCompiler$3.class
D platform/classes/base-jdk14
M platform/build.xml
M drjava/lib/platform.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/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/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