JAR file

jdk7-1.8.10.jar

in org/checkerframework/jdk7/1.8.10

Group ID: org.checkerframework
Artifact ID: jdk7
Version: 1.8.10
Last modified: 30.01.2015 21:34
Packaging: jar
Name: Annotated JDK 7
Description: 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.
URL: http://checkerframework.org
Size: 265.0 KB
Download: https://repo.maven.apache.org/maven2/org/checkerframework/jdk7/1.8.10/jdk7-1.8.10.jar
POM: Show
Maven:
<dependency>
  <groupId>org.checkerframework</groupId>
  <artifactId>jdk7</artifactId>
  <version>1.8.10</version>
</dependency>
Gradle:
org.checkerframework:jdk7:1.8.10
Contained classes: Show all