Annotations for the JML project, available from:

http://jmlspecs.svn.sourceforge.net/viewvc/jmlspecs/JMLAnnotations/trunk/src/org/jmlspecs/annotation/

Also see the project homepage at:

http://jmlspecs.org/
