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.