<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-util</artifactId>
<version>3.30.0</version>
</dependency>
@Grapes(
@Grab(group='org.checkerframework', module='checker-util', version='3.30.0')
)
compile