4.0.0 dbgp DBGP dk.au.ece.vdmj vdmj-suite 4.4.6 ../pom.xml DBGP protocol handler for VDMJ yyMMdd UTF-8 NickBattle Nick Battle nick.battle@gmail.com developer dk.au.ece.vdmj vdmj ${project.version} org.apache.maven.plugins maven-compiler-plugin 1.8 1.8 maven-surefire-plugin **/*Test.java maven-jar-plugin default-jar package jar com.fujitsu.vdmj.dbgp.DBGPReader ${project.version} build ${maven.build.timestamp} . ${project.artifactId}-${project.version}-${maven.build.timestamp} org.apache.maven.plugins maven-source-plugin attach-sources jar ${project.artifactId}-${project.version}-${maven.build.timestamp}