Project Build Plugins

GroupId ArtifactId Version
org.apache.maven.plugins maven-compiler-plugin 2.0.2
org.apache.maven.plugins maven-surefire-plugin 2.4.2
org.overturetool.tools astgen RELEASE
org.overturetool.tools vdmt RELEASE

Project Report Plugins

GroupId ArtifactId Version
org.apache.maven.plugins maven-changes-plugin 2.1
org.apache.maven.plugins maven-clover-plugin 2.4
org.apache.maven.plugins maven-javadoc-plugin 2.5
org.apache.maven.plugins maven-pmd-plugin 2.4
org.apache.maven.plugins maven-surefire-plugin 2.4.3
org.codehaus.mojo jxr-maven-plugin 2.0-beta-1