Java library that provides annotations for software defect detection (API)

 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.
 .
 This package contains the API documentation.