Вопреки Контрактам Кода в C#, в Контрактах Кода JML просто текст, это используется в форме комментариев в заголовке метода. Разве не было бы лучше выставить их как Аннотации, затем?...