4.0.0 annotations Annotations Annotations dk.au.ece.vdmj vdmj-suite 4.5.0-P ../pom.xml NickBattle Nick Battle nick.battle@gmail.com developer dk.au.ece.vdmj vdmj org.apache.maven.plugins maven-compiler-plugin org.apache.maven.plugins maven-jar-plugin documentation package jar ${basedir} documentation/**.pdf docs org.apache.maven.plugins maven-javadoc-plugin org.apache.maven.plugins maven-source-plugin