4.0.0 dk.au.ece.vdmj vdmj-suite ${revision}${sha1}${changelist} ../pom.xml examples VDMJ Suite Examples pom yyMMdd UTF-8 v2c pdfreader