4.0.0 org.into-cps vdmcheck 1.1.3 ../pom.xml org.into-cps.vdmcheck xsd2vdm jar xsd2vdm A converter for XSD schemas to VDM-SL schemas yyMMdd maven-compiler-plugin 1.8 1.8 maven-resources-plugin UTF-8 maven-jar-plugin xsd2vdm.Xsd2VDM ${project.version} build ${maven.build.timestamp} . ${project.artifactId}-${project.version}-${maven.build.timestamp}