DrJava Beta Release

This beta release is in preparation for the next stable release of DrJava, and includes all the improvements from the recent development releases, such as Javadoc support, interacting at breakpoints in the debugger, and support for reading input from System.in. Please test this release and submit any bugs you find!