I just created a new release of Mint and DrJava with Mint.
There were some dramatic performance improvements in the Mint compiler thanks to base type lifting instead of performing cross-stage persistence for them. I also fixed a bug that didn’t allow escaping into bracket statements. And DrJava with Mint now has a simple logo (mostly so I don’t get confused if I’m working with DrJava with Mint or with regular DrJava).
(Re-posted from The Java Mint Blog)