Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
'edu.washington.cs.types.checker:checker-annotated-openjdk6:1.5.0'
<dependency>
<groupId>edu.washington.cs.types.checker</groupId>
<artifactId>checker-annotated-openjdk6</artifactId>
<version>1.5.0</version>
</dependency>
<dependency org="edu.washington.cs.types.checker" name="checker-annotated-openjdk6" rev="1.5.0"/>
"edu.washington.cs.types.checker", "checker-annotated-openjdk6", "1.5.0"