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