Checker framework's type qualifiers backported to JDK5


Checker framework's type qualifiers backported to JDK5

Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre-JDK8 applications