4.0.0 examples dk.au.ece.vdmj ${revision}${sha1}${changelist} ../pom.xml PDF Reader pdfreader jar dk.au.ece.vdmj vdmj ${project.version} org.apache.maven.plugins maven-compiler-plugin 1.8 1.8 maven-jar-plugin default-jar package jar ${project.artifactId}-${project.version}-${maven.build.timestamp}