Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications
'edu.washington.cs.types.checker:checker-quals-jdk5:1.7.2'
<dependency>
<groupId>edu.washington.cs.types.checker</groupId>
<artifactId>checker-quals-jdk5</artifactId>
<version>1.7.2</version>
</dependency>
<dependency org="edu.washington.cs.types.checker" name="checker-quals-jdk5" rev="1.7.2"/>
"edu.washington.cs.types.checker", "checker-quals-jdk5", "1.7.2"