<dependency> <groupId>org.checkerframework</groupId> <artifactId>compiler</artifactId> <version>1.9.10</version> </dependency>
implementation 'org.checkerframework:compiler:1.9.10'
implementation("org.checkerframework:compiler:1.9.10")
libraryDependencies += "org.checkerframework" % "compiler" % "1.9.10"
@Grapes( @Grab(group='org.checkerframework', module='compiler', version='1.9.10') )
<dependency org="org.checkerframework" name="compiler" rev="1.9.10" />
[org.checkerframework/compiler "1.9.10"]
'org.checkerframework:compiler:jar:1.9.10'