The DrJava team released a new beta version of DrJava today, drjava-beta-20100415-r5220.
I have integrated the February 17, 2010 of Mint with the new DrJava beta release and am happy to provide to you a new version of DrJava with Mint: drjava-r5220-mint-r15362.jar.
Nothing has changed on the Mint side, but there have been plenty of bugfixes for DrJava, as well as a few new features. In particular, the persistent compiler preference will make it easier to use DrJava with Mint: Just select the Mint compiler as default!
(Re-posted from The Java Mint Blog.)
