DrJava Legacy SVN Repository

Reverted 'cosmetic change' of x+y to x + y inside a
regular expression: "\\d+" is not the same as "\\d + ".

Changed JUnit javadocs to 4.4.

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/config/ConfigFrame.java

Added JUnit 4.4 classes HTML for auto-complete and open Javadoc.

M drjava/lib/docs.jar

Added JUnit 4.4 classes HTML for auto-complete and open Javadoc.

A docs/src/javaapi/allclasses-junit4.4.html

DynamicJava: Implemented support for static final fields as constant expressions (allowing them to appear in switch statements); fixed implicit supertype of enums from raw Enum to Enum<Foo>.

DynamicJava: Bug fix for identifying "this" corresponding to an expected type.

DynamicJava: Fixed special scoping of switch constants for enum types (the constant must be an identifier naming a constant in the corresponding enum type)

DynamicJava: Bug fix for subtyping cases involving unions; updated "more specific" method relation to support varargs; added an option to "pack" capture variables that are the result of inference (javac does this, JLS doesn't specify it); fixed TypePrinter bug.

Complete task ID:159412 - JUnit4 Compatibility -- allows for tests of both JUnit3.x and JUnit4 convention to be run in DrJava. -- 9-16-09 -- John Cate

Null check to fix bug 2859588: NullPointerException in
JarJDKToolsLibrary.guessVersion(JarJDKToolsLibrary.java:215)

I'm guessing this is because a zip file was specified as tools.jar
location, not a jar file.

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