DrJava Legacy SVN Repository

This revision eliminates the code (including some entire classes)
concerned witht he special treatement of "void" instantiations of
generic visitor classes. The new code uses the instantiation type
java.lang.Void as a substitute for the "void" type. The price paid
for this approach is gratuitous "return null" statements in method
of Void return type.

In addition, this revision includes some reformatting cleanup in an
attempt to maintain a line length limit of 120 chars and the DrJava
conventions for formatting javadoc comments.

The following files were modified.

M src/edu/rice/cs/javalanglevels/TypeChecker.java
M src/edu/rice/cs/javalanglevels/BodyBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/ElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyAdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/Augmentor.java
M src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java
D src/edu/rice/cs/javalanglevels/JExpressionIFPrunableDepthFirstVisitor_void.java
M src/edu/rice/cs/javalanglevels/BodyBodyElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/AdvancedVisitor.java
M src/edu/rice/cs/javalanglevels/BodyBodyIntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/InterfaceBodyIntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/ClassBodyElementaryVisitor.java
M src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java
M src/edu/rice/cs/javalanglevels/util/Log.java
M src/edu/rice/cs/javalanglevels/ClassBodyIntermediateVisitor.java

Opening .drjava projects by double-clicking on Macs.

Changed default project file extension to .drjava. Fixed remote.

PLT Utilities: Added comments to UnindexedRelation.

PLT Utilities: Implemented UnindexedRelation, a lightweight alternative to IndexedRelation. Implemented comparator() factory methods for tuple classes (Option, Pair, Triple, Quad). Implemented ObjectUtil.compare for comparing multiple objects.

Updated http://drjava.org/compiz URL.

Added Compiz warning.

Added better JDK version detection.

Added a JavaVersion.fullVersion() method to convert a JavaVersion to a generic FullVersion.

Update for plt.jar: bug fixes, including inverted behavior in AbstractPredicateSet.isEmpty().