Indexed Artifacts (21.5M)

Popular Categories

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.

LicenseGPL
HomePage http://checkerframework.org
Date(Jan 05, 2016)
Filespom (4 KB)  jar (409 KB)  View All
RepositoriesCentralIBiblioSonatypeXceptance
Used By16 artifacts

Note: There is a new version for this artifact

New Version3.3.0


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
GNU General Public License, version 2 (GPL2), with the classpath exception http://www.gnu.org/software/classpath/license.html

Developers

NameEmailDev IdRolesOrganization
Michael Ernstmernst<at>cs.washington.eduMichael Ernst <mernst@cs.washington.edu>University of Washington
Werner M. Dietlwdietl<at>uwaterloo.cawmdietlUniversity of Waterloo
Suzanne Millsteinsmillst<at>cs.washington.eduSuzanne Millstein <smillst@cs.washington.edu>University of Washington PLSE Group
David McArthurmcarthur<at>cs.washington.eduDavid McArthur <mcarthur@cs.washington.edu<University of Washington PLSE Group
David McArthurjthaine<at>cs.washington.eduJavier Thaine <jthaine@cs.washington.edu<University of Washington PLSE Group
Dan Browndbro<at>cs.washington.eduDan Brown <dbro@cs.washington.edu<University of Washington PLSE Group
Jonathan G. Burkejburke<at>cs.washington.edujonathangburke@gmail.comUniversity of Washington PLSE Group