The DrJava [1] team released a new stable version of DrJava [2] today, drjava-stable-20100816-r5366 [3].
I therefore created a new release of DrJava with Mint [4]: August 16, 2010 (drjava-r5366-mint-r15665.jar). The latest release is available from the Mint implementation [5] page:
Nothing has changed on the Mint language side.
(Re-posted from The Java Mint Blog [9].)
