I just created a new release of Mint and DrJava with Mint: February 17, 2010 (r15116). The release is available from the Mint implementation page:
There were some small changes in the approximation of weak separability to make the implementation match improvements in the paper more closely. It also disallows stitching in a Code as a statement, because we can’t statically know if we have to discard the result in a statement context or not.
(Re-posted from The Java Mint Blog.)
