How to install the JML tools. 
 
 
 -- Unpack JML.5.5.tar.gz
 -- Edit the paths in JML/bin/Install-script. Also edit the path to tools.jar, you can use tools.jar from Java 1.6 or 1.4 (but not 1.5 I think).
 -- Execute the Install-script. This will create a bin directory with all the tools (one level up in the directory structure)
 -- Edit in .cshrc or .bashrc the PATH variable to the bin directory with the tools
 -- Add jmljunitruntime.jar, mlruntime.jar, jmlmodels.jar, the JML directory, junit.jar and . to your CLASSPATH
 
-- For Jet, use a Java runtime >1.5
-- For ESC/Java 2, use a Java runtime <1.6