4.0.0 org.overturetool.ide org.overture.ide.plugins 3.0.0 ../pom.xml eclipse-plugin org.overturetool.ide.plugins org.overture.ide.plugins.javagen The Java Code Generator Plugin org.apache.maven.plugins maven-dependency-plugin copy-dependencies process-sources copy ${basedir}/jars true true true true org.overturetool.core.codegen codegen-runtime ${project.version} org.overturetool.core.codegen vdm2jml-runtime ${project.version} org.overturetool.core.codegen ir ${project.version} org.overturetool.core.codegen platform ${project.version} org.overturetool.core.codegen javagen ${project.version} org.overturetool.core.codegen vdm2jml ${project.version} org.apache.velocity velocity 1.7 commons-collections commons-collections 3.2.2 commons-lang commons-lang 2.4 com.google.googlejavaformat google-java-format 1.0 com.google.guava guava 19.0 log4j log4j 1.2.17 org.jgrapht jgrapht-core 1.2.0 copy process-resources copy org.overturetool.core.codegen codegen-runtime ${project.version} jar true ${basedir}/target/runtime codegen-runtime.jar org.overturetool.core.codegen codegen-runtime ${project.version} sources jar true ${basedir}/target/runtime codegen-runtime-sources.jar org.overturetool.core.codegen vdm2jml-runtime ${project.version} jar true ${basedir}/target/runtime vdm2jml-runtime.jar org.overturetool.core.codegen vdm2jml-runtime ${project.version} sources jar true ${basedir}/target/runtime vdm2jml-runtime-sources.jar maven-resources-plugin copy-resources process-classes copy-resources ${project.build.outputDirectory} ${basedir}/target/runtime false 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