master
Migrate from Checker Framework annotations to JSpecify annotations.
Explicitly annotate some null-unmarked classes as `@NullUnmarked`.