New Mint Release: r15116

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:

• JavaMint-r15116.tar.gz
• JavaMint-r15116-binaries.zip
• drjava-r5178-mint-r15116.jar

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.