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-1.8.10.jar download
jdk7-1.8.10.pom download
jdk7-1.8.10-sources.jar download
Apache Maven
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>jdk7</artifactId>
  <version>1.8.10</version>
</dependency>
Gradle Groovy
implementation 'org.checkerframework:jdk7:1.8.10'
Gradle Kotlin
implementation("org.checkerframework:jdk7:1.8.10")
Scala SBT
libraryDependencies += "org.checkerframework" % "jdk7" % "1.8.10"
Groovy Grape
@Grapes(
  @Grab(group='org.checkerframework', module='jdk7', version='1.8.10')
)
Apache Ivy
<dependency org="org.checkerframework" name="jdk7" rev="1.8.10" />
Leiningen
[org.checkerframework/jdk7 "1.8.10"]
Apache Buildr
'org.checkerframework:jdk7:jar:1.8.10'
Dependencies
The project has no third-party dependencies