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