4.0.0 org.sonatype.oss oss-parent 7 edu.washington.cs.types.checker checker-framework 1.7.0 Checker framework Checker framework http://types.cs.washington.edu/checker-framework GNU General Public License, version 2, with the Classpath Exception http://openjdk.java.net/legal/gplv2+ce.html repo scm:hg:https://code.google.com/p/checker-framework scm:hg:https://code.google.com/p/checker-framework http://code.google.com/p/checker-framework/source/browse