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