4.0.0 org.overturetool root 3.0.2 ../pom.xml core pom Core Tools 1.6.10 ast parser typechecker testing interpreter pog testframework combinatorialtesting prettyprinting commandline codegen isapog annotations org.apache.maven.plugins maven-javadoc-plugin codesigning org.apache.maven.plugins maven-jarsigner-plugin true