Enable NullAway's JSpecify mode and fix resulting issues#4618

marcphilipp wants to merge 1 commit intomainjunit-team/junit-framework:mainfrom

marc/enable-jspecify-modejunit-team/junit-framework:marc/enable-jspecify-modeCopy head branch name to clipboard