edu.washington.cs.types.checker : checker-annotated-jdk7 edu.washington.cs.types.checker checker-annotated-jdk7 1.7.5
edu.washington.cs.types.checker : checker-annotated-jdk8 edu.washington.cs.types.checker checker-annotated-jdk8 1.7.5
edu.washington.cs.types.checker : checker-annotated-openjdk6 edu.washington.cs.types.checker checker-annotated-openjdk6 1.5.0
edu.washington.cs.types.checker : checker-annotated-openjdk7 edu.washington.cs.types.checker checker-annotated-openjdk7 1.5.0 1.6.0 1.6.1 1.6.4 1.7.0 1.7.1 1.7.2
edu.washington.cs.types.checker : checker-framework edu.washington.cs.types.checker checker-framework 1.5.0 1.6.0 1.6.1 1.6.4 1.7.0 1.7.1 1.7.2 1.7.5
edu.washington.cs.types.checker : checker-maven-plugin edu.washington.cs.types.checker checker-maven-plugin 1.5.0 1.6.0 1.6.1 1.6.4 1.7.0 1.7.1 1.7.2 1.7.5
edu.washington.cs.types.checker : checker-quals edu.washington.cs.types.checker checker-quals 1.5.0 1.6.0 1.6.1 1.6.4 1.7.0 1.7.1 1.7.2 1.7.5
edu.washington.cs.types.checker : checker-quals-jdk5 edu.washington.cs.types.checker checker-quals-jdk5 1.5.0 1.6.0 1.6.1 1.6.4 1.7.0 1.7.1 1.7.2 1.7.5