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