New DrJava with Mint Version

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.)


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in DrJava, Mint. Bookmark the permalink.

Leave a Reply