4.0.0 dbgpc DBGP Client dk.au.ece.vdmj vdmj-suite ${revision}${sha1}${changelist} ../pom.xml NickBattle Nick Battle nick.battle@gmail.com Fujitsu UK http://uk.fujitsu.com developer junit junit 3.8.2 test org.apache.maven.plugins maven-compiler-plugin 1.8 1.8 maven-jar-plugin com.fujitsu.vdmjc.DBGPC ${maven.build.timestamp} . ${project.artifactId}-${project.version}-${maven.build.timestamp}