We have updated our old version of the JML specifications for the JavaCard API (version 2.1.1).
The current version can be used with JML-4.1 and ESC/Java 2-a5.
A gzipped tar file is available for download.
For more information, contact Erik Poll and Engelbert Hubbers.