Java Modeling Language
[ca] JML
[es] Java Modeling Language
[fr] Java Modeling Language
[it] Java Modelling Language
[pl] Java Modeling Language
[pt] Java Modeling Language
[uk] Java Modeling Language