4.0.0 org.overturetool.core codegen 3.0.2 ../pom.xml org.overturetool.core.codegen vdm2jml-runtime The VDM to JML Generator Runtime junit junit 4.11 org.overturetool.core.codegen codegen-runtime ${project.version} org.apache.maven.plugins maven-compiler-plugin 1.7 1.7 org.apache.maven.plugins maven-surefire-plugin true **/*Test.java **/*Test?.java **/*TestSuite.java maven-source-plugin attach-sources jar-no-fork