I just made a new release of the all-in-one DrJava with Mint:
drjava-r5121-mint-r14186.jar [1]
On the Mint side, there is only one small change: Previously, the Mint compiler only appeared in the “Compiler” drop-down box if the “Display all compiler versions” preference was enabled, which by default was not the case.
Happy experimentation with Mint!
(Re-posted from The Java Mint Blog [2])
