Eclipse Java Development User Guide 3.15.1300

<!-- https://jarcasting.com/artifacts/org.eclipse.jdt/org.eclipse.jdt.doc.user/ -->
<dependency>
    <groupId>org.eclipse.jdt</groupId>
    <artifactId>org.eclipse.jdt.doc.user</artifactId>
    <version>3.15.1300</version>
</dependency>

// https://jarcasting.com/artifacts/org.eclipse.jdt/org.eclipse.jdt.doc.user/
implementation 'org.eclipse.jdt:org.eclipse.jdt.doc.user:3.15.1300'

// https://jarcasting.com/artifacts/org.eclipse.jdt/org.eclipse.jdt.doc.user/
implementation ("org.eclipse.jdt:org.eclipse.jdt.doc.user:3.15.1300")

'org.eclipse.jdt:org.eclipse.jdt.doc.user:jar:3.15.1300'

<dependency org="org.eclipse.jdt" name="org.eclipse.jdt.doc.user" rev="3.15.1300">
  <artifact name="org.eclipse.jdt.doc.user" type="jar" />
</dependency>

@Grapes(
@Grab(group='org.eclipse.jdt', module='org.eclipse.jdt.doc.user', version='3.15.1300')
)

libraryDependencies += "org.eclipse.jdt" % "org.eclipse.jdt.doc.user" % "3.15.1300"

[org.eclipse.jdt/org.eclipse.jdt.doc.user "3.15.1300"]