4.0.0 stdlib Standard Libraries dk.au.ece.vdmj vdmj-suite 4.4.6-P ../pom.xml junit junit 4.8.2 dk.au.ece.vdmj vdmj ${project.version} org.apache.maven.plugins maven-compiler-plugin 1.8 1.8 maven-resources-plugin copy-resources prepare-package copy-resources target/classes src/main/resources false *.vdmsl *.vdmpp *.vdmrt . false LICENCE maven-jar-plugin default-jar package target/classes