<dependency>
<groupId>org.checkerframework.annotatedlib</groupId>
<artifactId>java-getopt</artifactId>
<version>1.0.14.0.1</version>
</dependency>
@Grapes(
@Grab(group='org.checkerframework.annotatedlib', module='java-getopt', version='1.0.14.0.1')
)
<dependency org="org.checkerframework.annotatedlib" name="java-getopt" rev="1.0.14.0.1" />