is to be used using the "test-drjava-config" property (e.g. on the
command line by passing "-Dtest-drjava-config=some.file").
If this property is not set, then the build.xml file will use an empty
configuration file, testFiles/drjava.basic.config, which I have added
to the repository. This is an important change: Testing from now on
does NOT use the .drjava file in the user's home directory anymore,
unless explicitly told to do so. By default, the unit tests are now
run with default settings, regardless of the user's settings --This
line, and those below, will be ignored
AM testFiles/drjava.basic.config
M src/edu/rice/cs/drjava/DrJavaTestCase.java
M build.xml
