JML2BML is a tool which takes the Java annotated with JML and the class file and translates the JML annotations from the source code to the BML annotations in the class file.
A paper presenting the compiler can be found here (PDF).
The JML2BML compiler together with all the necessary libraries can be found in the archive file here.
The sources can be viewed and downloaded from the SVN repository: here.
If you want to contact the authors of the tool, please send an email to Aleksy Schubert.Last modification: 12.03.2009