JML (Java Modeling Language) is a specification language for formally describing and reaasoning about Java programs. The RefMan repository holds (snapshots of) the LaTeX sources for the JML Reference Manual (2nd edition). The issues list is for discussions of JML semantics or requests for corrections/additions/changes to the reference manual or the language.
Other information can be found at the jmlspecs project site (http://www.jmlspecs.org).
Supporting tools are
- OpenJML (https://www.openjml.org) and its GitHub project
- KeY (https://www.key-project.org), which also has a book
The best way to communicate with the project principals is by logging an issue.