4.0.0 org.overturetool.core prettyprinting 2.7.5-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