org.checkerframework:jdk7 1.9.1

Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker Framework annotations. Method implementations in this file are empty. This file should only be compiled against and should never be placed on the runtime classpath of a compiled program.

GroupId	org.checkerframework
ArtifactId	jdk7
Version	1.9.1
Type	jar

Download jdk7 1.9.1

Filename	Size
jdk7-1.9.1.pom
jdk7-1.9.1.jar	264 KB
jdk7-1.9.1-sources.jar	653 bytes
jdk7-1.9.1-javadoc.jar	653 bytes

Apache Maven

<!-- https://jarcasting.com/artifacts/org.checkerframework/jdk7/ -->
<dependency>
    <groupId>org.checkerframework</groupId>
    <artifactId>jdk7</artifactId>
    <version>1.9.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.checkerframework/jdk7/
implementation 'org.checkerframework:jdk7:1.9.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.checkerframework/jdk7/
implementation ("org.checkerframework:jdk7:1.9.1")

Apache Buildr

'org.checkerframework:jdk7:jar:1.9.1'

Apache Ivy

<dependency org="org.checkerframework" name="jdk7" rev="1.9.1">
  <artifact name="jdk7" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.checkerframework', module='jdk7', version='1.9.1')
)

Scala SBT

libraryDependencies += "org.checkerframework" % "jdk7" % "1.9.1"

Leiningen

[org.checkerframework/jdk7 "1.9.1"]