Summary: Correctness annotations for Java code

Description:
This package contains reference implementations, test cases, and other
documents for Java Specification Request 305: Annotations for Software Defect
Detection.

URL: https://code.google.com/p/jsr-305
License: BSD and CC-BY

Maintainer: neoclust