GitHub repository: thomaskirz/jdk
Description: Mirror of https://github.com/openjdk/jdk containing EISOP Checker Framework annotations