4.0.0 org.overturetool ide 3.0.2 ../pom.xml eclipse-plugin org.overturetool.ide org.overture.ide.ui org.overture.ide.ui ${project.basedir}/../../externals/docrepo/examples/libs ${project.basedir}/includes/lib false **/*.vdmsl **/*.vdmpp org.apache.maven.plugins maven-javadoc-plugin 2.5 true false *org.eclipse.*