• Groups
• org.checkerframework
• jdk7
• 1.9.1

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.

'org.checkerframework:jdk7:1.9.1'

<dependency>
	<groupId>org.checkerframework</groupId>
	<artifactId>jdk7</artifactId>
	<version>1.9.1</version>
</dependency>

<dependency org="org.checkerframework" name="jdk7" rev="1.9.1"/>

"org.checkerframework", "jdk7", "1.9.1"

Dependencies