4.0.0 org.overturetool root 3.0.2 ../pom.xml pom ide Overture IDE Top-level Super POM for all IDE (Eclipse) artifacts. false true 1.7.0 core ui parsers builders debug vdmsl vdmpp vdmrt help plugins platform features product org.apache.maven.plugins maven-deploy-plugin true org.apache.maven.plugins maven-surefire-plugin 2.13 true org.apache.maven.plugins maven-javadoc-plugin 2.9 false *org.eclipse.* ${basedir}/src/main/javadoc/stylesheet.css public org.eclipse.tycho tycho-maven-plugin ${tycho.version} org.eclipse.tycho target-platform-configuration ${tycho.version} org.eclipse.tycho tycho-p2-director-plugin ${tycho.version} org.eclipse.tycho tycho-packaging-plugin ${tycho.version} false org.eclipse.tycho tycho-versions-plugin ${tycho.version} org.eclipse.m2e lifecycle-mapping 1.0.0 org.apache.maven.plugins maven-dependency-plugin [1.0.0,) copy-dependencies org.eclipse.tycho tycho-maven-plugin true org.eclipse.tycho target-platform-configuration org.apache.maven.plugins maven-javadoc-plugin true eclipse-2020-09 p2 http://download.eclipse.org/releases/2020-09 win64 false windows amd64 org.eclipse.tycho target-platform-configuration win32 win32 x86_64 mac false mac org.eclipse.tycho target-platform-configuration macosx cocoa x86_64 org.eclipse.tycho tycho-p2-repository-plugin ${tycho.version} true true linux64 false unix linux amd64 org.eclipse.tycho target-platform-configuration linux gtk x86_64 linux gtk x86_64 all-platforms org.eclipse.tycho target-platform-configuration win32 win32 x86_64 linux gtk x86_64 macosx cocoa x86_64 ui-tests false ui.tests