Fix javac-21 compiler warnings

Pushkar Kulkarni requested to merge pushkarnk/checker-framework-java:compiler-warnings-21 into master Nov 08, 2023