This package contains samples of JML specifications from the JML Reference Manual. The idea is that all (correct) examples from the reference manual should appear here, so that they can be looked at independently and checked by the checker and our tests.