4.0.0 org.overturetool.ide org.overture.ide.builders 2.6.5-SNAPSHOT ../pom.xml eclipse-plugin org.overturetool.ide.builders org.overture.ide.builders.vdmj org.overture.ide.builders.vdmj org.apache.maven.plugins maven-dependency-plugin copy-dependencies process-sources copy ${basedir}/jars true true true true org.overturetool.core typechecker ${project.version} org.apache.maven.plugins maven-clean-plugin false ${basedir}/jars false org.eclipse.m2e lifecycle-mapping 1.0.0 org.apache.maven.plugins maven-dependency-plugin [1.0.0,) copy false