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: http://jsr-305.googlecode.com/
License: BSD and CC-BY

Maintainer: neoclust