Abstract: Despite some efforts to provide support to JML (Java Modelling Language) for Java 1.5 and 1.6, no full implementation for checking Java's new features has been carried out. In particular, ...