org.eclipse.platform:org.eclipse.ui.themes 1.2.800

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

// https://jarcasting.com/artifacts/org.eclipse.platform/org.eclipse.ui.themes/
implementation 'org.eclipse.platform:org.eclipse.ui.themes:1.2.800'

// https://jarcasting.com/artifacts/org.eclipse.platform/org.eclipse.ui.themes/
implementation ("org.eclipse.platform:org.eclipse.ui.themes:1.2.800")

'org.eclipse.platform:org.eclipse.ui.themes:jar:1.2.800'

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

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

libraryDependencies += "org.eclipse.platform" % "org.eclipse.ui.themes" % "1.2.800"

[org.eclipse.platform/org.eclipse.ui.themes "1.2.800"]