Annotated JDK 7

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.

License	GNU General Public License, version 2 (GPL2), with the classpath exception
GroupId	org.checkerframework
ArtifactId	jdk7
Last Version	2.1.14
Release Date	Aug 3, 2017
Type	jar
Description	Annotated JDK 7 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.
Project URL	https://checkerframework.org
Source Code Management	https://github.com/typetools/checker-framework.git

Download jdk7

Filename	Size
jdk7-2.1.14.pom
jdk7-2.1.14.jar	258 KB
jdk7-2.1.14-sources.jar	649 bytes
jdk7-2.1.14-javadoc.jar	649 bytes

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.checkerframework:jdk7:jar:2.1.14'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.checkerframework/jdk7 "2.1.14"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file changelog.txt.

Documentation for Checker Framework developers is in directory docs/developer/.

Versions

Version
2.1.14 Aug 3, 2017
2.1.13 Jul 3, 2017
2.1.12 Jun 1, 2017
2.1.11 May 2, 2017
2.1.10 Apr 4, 2017
2.1.9 Mar 1, 2017
2.1.8 Jan 21, 2017
2.1.7 Jan 3, 2017
2.1.6 Dec 1, 2016
2.1.5 Nov 2, 2016
2.1.4 Oct 3, 2016
2.1.3 Sep 16, 2016
2.1.2 Sep 1, 2016
2.1.1 Aug 1, 2016
2.1.0 Jul 2, 2016
2.0.1 Jun 2, 2016
2.0.0 May 3, 2016
1.9.13 Apr 1, 2016
1.9.12 Mar 4, 2016
1.9.11 Feb 2, 2016
1.9.10 Jan 5, 2016
1.9.9 Dec 4, 2015
1.9.8 Nov 10, 2015
1.9.7 Oct 24, 2015
1.9.6 Oct 9, 2015
1.9.5 Sep 2, 2015
1.9.4 Aug 5, 2015
1.9.3 Jul 1, 2015
1.9.2 Jun 2, 2015
1.9.1 May 1, 2015
1.9.0 Apr 18, 2015
1.8.11 Mar 3, 2015
1.8.10 Jan 31, 2015
1.8.9 Dec 20, 2014
1.8.8 Nov 26, 2014
1.8.7 Oct 31, 2014
1.8.6 Sep 25, 2014
1.8.5 Aug 30, 2014
1.8.4 Aug 2, 2014
1.8.3 Jul 2, 2014
1.8.2 Jun 3, 2014
1.8.1 May 2, 2014
1.8.0 Apr 3, 2014