OptionConstants.java. Ethan Steinberg tracked down the error and
worked around it by permuting the order of tests in a conjunction. It
also fixes a bug that only manifests in Java 8 (why??): an override of
setUp in JPDADebugTestCase generates a class cast exception involving
two classes with identical names; they must be loaded by different
class loaders, but I don't know why and I don't understand why it only
happens in Java 8. But the override (which narrows the type of the
field named _debugger by introducing a shadowing field) was completely
unnecessary anyway so I commented it out to no effect (other than
eliminating the error).
This build incidentally uses Java 8 instead of Java 7 in the compile target
in build.xml.
The following files were modified:
M build.xml
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugTestCase.java
