<dependency>
<groupId>org.overturetool.ide.builders</groupId>
<artifactId>org.overture.ide.builders.vdmj</artifactId>
<version>3.0.2</version>
<type>eclipse-plugin</type>
</dependency>
libraryDependencies += "org.overturetool.ide.builders" % "org.overture.ide.builders.vdmj" % "3.0.2"
@Grapes(
@Grab(group='org.overturetool.ide.builders', module='org.overture.ide.builders.vdmj', version='3.0.2')
)
<dependency org="org.overturetool.ide.builders" name="org.overture.ide.builders.vdmj" rev="3.0.2" />