drjava-20030805-2214 released

This development release of DrJava includes some bug fixes, the added ability to test all open JUnit tests, the ability to run the currently open document's main method, a large change in the user interface for JUnit testing, many other improvements to the user interface, and some usability improvements. Please download and test this release as we prepare for an upcoming beta release.