The DrJava [1] team released a new beta version of DrJava [2] today, drjava-beta-20100415-r5220 [3].
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 [4].
Nothing has changed on the Mint side, but there have been plenty of bugfixes for DrJava [2], 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 [5].)