DrJava Legacy SVN Repository

This commit partially cleans up the typing to conform with the newly generified Java 7 APIs.
It also adds final/volatile modifiers to some shared field declarations.

The following files have been modified:

M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
M src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/MainFrameStatics.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
M src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
M src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M src/edu/rice/cs/drjava/model/FileRegion.java
M src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/cache/DocumentCache.java
M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
M src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/config/ClassPathOption.java
M src/edu/rice/cs/util/GeneralProcessCreator.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/swing/FontChooser.java
M src/edu/rice/cs/util/swing/CheckBoxJList.java
M src/edu/rice/cs/util/swing/DirectoryChooser.java
M src/edu/rice/cs/util/swing/BorderlessScrollPane.java
M src/edu/rice/cs/util/swing/ScrollableListDialog.java
M src/edu/rice/cs/util/FileOps.java
M src/edu/rice/cs/util/text/AbstractDocumentInterface.java
M src/edu/rice/cs/util/text/EditDocumentInterface.java
M src/edu/rice/cs/util/text/SwingDocument.java
M src/edu/rice/cs/util/text/SwingDocumentInterface.java
M build.xml

This revision fixes a problem in the guessVersion method of
JarJDKToolsLibrary rregarding Mac OS X Java 7 distributions. It also
reinstates code supporting JUnit testing that was mistakenly commented
out as part of disabling language level s support (which is not
applicable to Scala). JUnit errors are now properly reported in the
JUnit testing panel and highlighted in source documents.

The following files were modified:

M plt/src/edu/rice/cs/plt/reflect/JavaVersion.java
M drjava/lib/plt.jar
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M drjava/src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
M drjava/src/edu/rice/cs/drjava/MainController.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M drjava/src/edu/rice/cs/drjava/ui/ErrorCaretListener.java
M drjava/src/edu/rice/cs/util/sexp/SExpParser.java

This revision is a second attempt at tweaking the guessVersion code in
JarJDKToolsLibrary.

The following file was modified:

M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java

This revisin contains a tweaked guessVersion method in
JarJDKToolsLibrary that adjusts the parsing of Java 6 and 7 path names
in Mac OS X. The changes in the plt code bae are purely cosmetic
(reformmating comments).

The following files were modified:

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

This revision contains even more revisions to JarJDKToolsLibrary in an
attempt ot generate the baroque path names for tools.jar in Java 7
distributions for the Mac.

The following file was modified:

M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java

This revision contains tweak to JarJDKToolsLibrary directed at finding Java 7
compilers for Mac OS X.

The following file was modified:

M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java

This revision corrects a glitch in the definition of getSuggestedFileExtension in JavacCompiler.java. It was
erroneously set to ".scala". For Java compilers, it should be ".java". The assignment of priorities to found
libraries containing compilers was awry because of this glitch. Found compilers now have the intended priorities
(used to order the list of compilers).

The following files were modified:

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/JDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
M drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java

This revision contains code modifications in JarJDKToolsLibrary
intended to find more Java/Scala compilers, particularly on Mac OS X.
It also turns off logging except in JarJDKToolsLibrary. This commit
got mangled by a conflict so subsequent cleanup may be necessary.

The following files were modified:

M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
M drjava/src/edu/rice/cs/drjava/model/GlobalModelCompileErrorsTest.java
M drjava/src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M drjava/src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
M drjava/src/edu/rice/cs/drjava/model/JDKDescriptor.java
M drjava/src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
M drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M drjava/src/edu/rice/cs/drjava/ui/JUnitPanel.java

This revision makes .scala the default file extension (instead of
.java) when no extension is provided by the user or context. It
also makes some minor cosmetic corrections involving adding extra
spaces.

The following files were modified:

M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/model/FindReplaceMachine.java

This revision fixes a bug (due to legacy code supporting language
levels) in the file DrJavaFileUtils.java

The following file was modified:

M drjava/src/edu/rice/cs/drjava/model/DrJavaFileUtils.java