I just created a new release of Mint [1] and DrJava with Mint [2]: 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 [6].)
