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