This SVN repository contains versions of JML specification files for
various versions of the Java API, for some other libraries, and for
JML runtime files.

The specs are relevant to the version of OpenJDK that is implemented by
the current version of OpenJML -- namely V21 (as of June 2025).