The Type Annotations Compiler is a fully backwards compatible customization of the Open JDK javac compiler with additional support for type annotations.
'org.checkerframework:compiler:1.8.4'
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>compiler</artifactId>
<version>1.8.4</version>
</dependency>
<dependency org="org.checkerframework" name="compiler" rev="1.8.4"/>
"org.checkerframework", "compiler", "1.8.4"