4.0.0 dk.au.ece.vdmj vdmj-suite 4.5.0 ../pom.xml NickBattle Nick Battle nick.battle@gmail.com developer quickcheck QuickCheck plugin Direct execution plugin for PO verification. junit junit dk.au.ece.vdmj vdmj dk.au.ece.vdmj lsp org.apache.maven.plugins maven-compiler-plugin org.apache.maven.plugins maven-surefire-plugin org.apache.maven.plugins maven-jar-plugin test-jar org.apache.maven.plugins maven-javadoc-plugin org.apache.maven.plugins maven-source-plugin