Checker framework's annotated OpenJDK 7

Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework

Homepage POM file JAR file Javadoc
'edu.washington.cs.types.checker:checker-annotated-openjdk7:1.7.2'

Dependencies

no dependencies