Typecheck jdk with nullness checker

[aosen-xiong]

No description provided.

[aosen-xiong]

Ok, at least we can type check JDK with Java 17.

[aosen-xiong]

Not sure how to disable error and warning from the compiler while retain the error from the Nullness checker.

[aosen-xiong]

Without annotation processor, the Javac errors are gone. Does that mean the errors are coming the annotation processor?

[aosen-xiong]

../jdk/src/java.base/share/classes/java/util/Timer.java:124: error: variable queue might already have been assigned
            this.queue = queue;
                ^
../jdk/src/java.base/share/classes/java/util/Timer.java:125: error: variable thread might already have been assigned
            this.thread = thread;
                ^
../jdk/src/java.base/share/classes/java/util/Timer.java:126: error: variable queue might not have been initialized
        }
        ^

For those errors, I am not sure why the javac work with the annotation processor causes these errors. One thing I tried locally is rename the field to p and t, the errors are gone.