This is a fork of https://github.com/typetools/jdk in which we are experimenting with using https://github.com/jspecify/jspecify annotations instead of https://github.com/typetools/checker-framework annotations.

This is not an officially supported product of any of the participant organizations.