jdk8
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency> <groupId>org.checkerframework</groupId> <artifactId>jdk8</artifactId> <version>3.3.0</version> </dependency>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> <modelVersion>4.0.0</modelVersion> <packaging>jar</packaging> <groupId>org.checkerframework</groupId> <artifactId>jdk8</artifactId> <version>3.3.0</version> <name>Annotated JDK 8</name> <url>https://checkerframework.org</url> <description> Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. 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. </description> <licenses> <license> <name>GNU General Public License, version 2 (GPL2), with the classpath exception</name> <url>http://www.gnu.org/software/classpath/license.html</url> <distribution>repo</distribution> </license> </licenses> <scm> <url>https://github.com/typetools/checker-framework.git</url> <connection>https://github.com/typetools/checker-framework.git</connection> </scm> <developers> <developer> <id>mernst</id> <name>Michael Ernst</name> <email>mernst@cs.washington.edu</email> <url>https://homes.cs.washington.edu/~mernst/</url> <organization>University of Washington</organization> <organizationUrl>https://www.cs.washington.edu/</organizationUrl> </developer> <developer> <id>wmdietl</id> <name>Werner M. Dietl</name> <email>wdietl@uwaterloo.ca</email> <organization>University of Waterloo</organization> <organizationUrl>http://uwaterloo.ca/</organizationUrl> </developer> <developer> <id>smillst</id> <name>Suzanne Millstein</name> <email>smillst@cs.washington.edu</email> <organization>University of Washington</organization> <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl> </developer> </developers> </project>