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