<dependency>
  <groupId>org.checkerframework.annotatedlib</groupId>
  <artifactId>guava</artifactId>
  <version>25.0-jre</version>
</dependency>

implementation 'org.checkerframework.annotatedlib:guava:25.0-jre'

implementation("org.checkerframework.annotatedlib:guava:25.0-jre")

libraryDependencies += "org.checkerframework.annotatedlib" % "guava" % "25.0-jre"

@Grapes(
  @Grab(group='org.checkerframework.annotatedlib', module='guava', version='25.0-jre')
)

<dependency org="org.checkerframework.annotatedlib" name="guava" rev="25.0-jre" />

[org.checkerframework.annotatedlib/guava "25.0-jre"]

'org.checkerframework.annotatedlib:guava:jar:25.0-jre'