Overture IDE core plugins GUI 3.0.2

<!-- https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.plugins/ -->
<dependency>
    <groupId>org.overturetool.ide</groupId>
    <artifactId>org.overture.ide.plugins</artifactId>
    <version>3.0.2</version>
    <type>pom</type>
</dependency>

// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.plugins/
implementation 'org.overturetool.ide:org.overture.ide.plugins:3.0.2'

// https://jarcasting.com/artifacts/org.overturetool.ide/org.overture.ide.plugins/
implementation ("org.overturetool.ide:org.overture.ide.plugins:3.0.2")

'org.overturetool.ide:org.overture.ide.plugins:pom:3.0.2'

<dependency org="org.overturetool.ide" name="org.overture.ide.plugins" rev="3.0.2">
  <artifact name="org.overture.ide.plugins" type="pom" />
</dependency>

@Grapes(
@Grab(group='org.overturetool.ide', module='org.overture.ide.plugins', version='3.0.2')
)

libraryDependencies += "org.overturetool.ide" % "org.overture.ide.plugins" % "3.0.2"

[org.overturetool.ide/org.overture.ide.plugins "3.0.2"]