Bug#741646: ITP: libcofoja-java -- Java API providing annotating code with contracts

[Diane Trout <diane@ghic.org>]

Package: wnpp
Severity: wishlist
X-Debbugs-CC: debian-devel@lists.debian.org

--- Please fill out the fields below. ---

   Package name: libcofoja-java
        Version: 1.1-r150
Upstream Author: 2010-2011 Google, Inc.
                 2010-2011, 2013 Nhat Minh Lê
                 2007 Johannes Rieken
            URL: https://code.google.com/p/cofoja/
        License: LGPL-2.1+
    Description: Java API providing annotating code with contracts
 Contracts for Java enables annotating code with contracts in the form of
 preconditions, postconditions and invariants.
 .
 These contract annotations are
  * easy to write and read,
  * and checked at runtime. 
 Annotating code with contracts helps you:
  * design,
  * document,
  * test, and
  * debug
 programs.