This library provides the implementation of java specification request 305. jsr-305 specifies annotations for software defect detection. these annotations can used to automatically check that methods are working as expected.