edu.washington.cs.types.checker:checker-annotated-jdk7 (maven): Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
Keywords: java|types|verification