DrJava Beta Release (20070524)

A new beta release has been posted, containing several bug fixes and performance improvements.

Posted by Mathias Ricken 2007-05-24