JML网页已重新组织。您所在的页面现在可以通过以下网址请求：

http://www.jmlspecs.org/index.shtml

新URL应在几秒钟内自动加载。如果你是厌倦了等待，加载新建页面。

页面上次修改日期：2013-05-12 13:03:45$。