4.0.0 org.overturetool.core prettyprinting 3.0.3-SNAPSHOT ../pom.xml org.overturetool.core.prettyprinting prettyprinter The VDM Pretty Printer org.overturetool.core ast ${project.version} org.apache.maven.plugins maven-surefire-plugin **/*Test.java **/*Test?.java **/*TestSuite.java