DrJava Beta Release

This beta release will be the basis for the next stable release of DrJava. In addition to improved undo support and a wide variety of bug fixes, this release ensures that the debugger is always available. Please test this release thoroughly and report any bugs that you find!