edu.washington.cs.types.checker:checker-quals (maven): Annotations ("type qualifiers") from the checker framework
Keywords: java|types|verification