edu.washington.cs.types.checker:checker-quals-jdk5 (maven): Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications
Keywords: java|types|verification