Checker framework's annotated OpenJDK 7

Observera: Det är en ny version av denna artefakt: 1.7.2

Checker framework's annotated OpenJDK 7

Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework

<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-annotated-openjdk7</artifactId>
    <version>1.7.0</version>
</dependency>

compile group: 'edu.washington.cs.types.checker', name: 'checker-annotated-openjdk7', version: '1.7.0'

compile 'edu.washington.cs.types.checker:checker-annotated-openjdk7:1.7.0'

libraryDependencies += "edu.washington.cs.types.checker" % "checker-annotated-openjdk7" % "1.7.0"

<dependency org="edu.washington.cs.types.checker" name="checker-annotated-openjdk7" rev="1.7.0"/>

@Grapes(
            @Grab(group='edu.washington.cs.types.checker', module='checker-annotated-openjdk7', version='1.7.0')
        )

[edu.washington.cs.types.checker/checker-annotated-openjdk7 "1.7.0"]

'edu.washington.cs.types.checker:checker-annotated-openjdk7:jar:1.7.0'