4.0.0 org.overturetool core 2.7.5-SNAPSHOT ../pom.xml org.overturetool.core pog The Proof Obligation Generator com.google.code.gson gson 2.2.4 org.overturetool.core ast ${project.version} org.overturetool.core parser ${project.version} org.overturetool.core typechecker ${project.version} org.overturetool.core.testing framework ${project.version} test org.overturetool.core.prettyprinting prettyprinter ${project.version} junit junit 4.11 commons-io commons-io 2.4 org.apache.commons commons-collections4 4.0 org.apache.maven.plugins maven-javadoc-plugin org.overture.pof:org.overture.pof.* org.apache.maven.plugins maven-surefire-plugin true **/*Test.java **/*Test?.java **/*TestSuite.java org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate-ast generate-sources generate overtureII.astv2 pof.ast POF true false org.overturetool.core ast org.codehaus.mojo build-helper-maven-plugin add-source generate-sources add-source ${project.build.directory}/generated-sources/astCreator/ org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate