org.checkerframework:jdk7 2.0.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	2.0.1
Type	jar

Download jdk7 2.0.1

Filename	Size
jdk7-2.0.1.pom
jdk7-2.0.1.jar	313 KB
jdk7-2.0.1-sources.jar	653 bytes
jdk7-2.0.1-javadoc.jar	653 bytes

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.checkerframework:jdk7:jar:2.0.1'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.checkerframework/jdk7 "2.0.1"]