org.eclipse.platform:org.eclipse.ui.editors 3.12.0

<!-- https://jarcasting.com/artifacts/org.eclipse.platform/org.eclipse.ui.editors/ -->
<dependency>
    <groupId>org.eclipse.platform</groupId>
    <artifactId>org.eclipse.ui.editors</artifactId>
    <version>3.12.0</version>
</dependency>

// https://jarcasting.com/artifacts/org.eclipse.platform/org.eclipse.ui.editors/
implementation 'org.eclipse.platform:org.eclipse.ui.editors:3.12.0'

// https://jarcasting.com/artifacts/org.eclipse.platform/org.eclipse.ui.editors/
implementation ("org.eclipse.platform:org.eclipse.ui.editors:3.12.0")

'org.eclipse.platform:org.eclipse.ui.editors:jar:3.12.0'

<dependency org="org.eclipse.platform" name="org.eclipse.ui.editors" rev="3.12.0">
  <artifact name="org.eclipse.ui.editors" type="jar" />
</dependency>

@Grapes(
@Grab(group='org.eclipse.platform', module='org.eclipse.ui.editors', version='3.12.0')
)

libraryDependencies += "org.eclipse.platform" % "org.eclipse.ui.editors" % "3.12.0"

[org.eclipse.platform/org.eclipse.ui.editors "3.12.0"]