j

jdk7

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.
http://checkerframework.org
GNU General Public License, version 2 (GPL2), with the classpath exception
Michael Ernst Werner M. Dietl Suzanne Millstein David McArthur David McArthur Dan Brown Jonathan G. Burke
Files download
File Operation
jdk7-2.1.6.jar download
jdk7-2.1.6.pom download
jdk7-2.1.6-sources.jar download
Apache Maven
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>jdk7</artifactId>
  <version>2.1.6</version>
</dependency>
Gradle Groovy
implementation 'org.checkerframework:jdk7:2.1.6'
Gradle Kotlin
implementation("org.checkerframework:jdk7:2.1.6")
Scala SBT
libraryDependencies += "org.checkerframework" % "jdk7" % "2.1.6"
Groovy Grape
@Grapes(
  @Grab(group='org.checkerframework', module='jdk7', version='2.1.6')
)
Apache Ivy
<dependency org="org.checkerframework" name="jdk7" rev="2.1.6" />
Leiningen
[org.checkerframework/jdk7 "2.1.6"]
Apache Buildr
'org.checkerframework:jdk7:jar:2.1.6'
Dependencies
The project has no third-party dependencies