Project Build Plugins

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

Project Report Plugins

There are no plugins reports defined in the Reporting part of this project.