Number 1 Bug in the Common (formerly ISU) JML Tools
The current most pressing bug for the Common (formerly ISU) JML tools is bug 724229 Wrong ASTs for local inner classes, their specs ignored.
Thanks
Thanks to Ovidio Mallo (and his supervisor Werner Dietl), for fixing former number 1 bug 1288594: jmlc doesn't work when interacting with 1.5 compiled files.
Number 1 Feature Request for the Common (formerly ISU) JML Tools
The current most pressing feature request for the Common (formerly ISU) JML tools is bug 964403: Jmlc should compile used and out-of-date files.
Last modified Monday, February 26, 2007.