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