Try adding the JSpecify annotations to see if it helps with CI.

[cpovirk]

#99

[cpovirk]

Well, not only does the build still fail, but I don't seem to have succeeded even at limiting the number of platforms that it runs for... :) (I had changed only "defaults," so I probably need to look into the values that are actually passed by the events themselves—or into changing where the set of events is defined?)

I wonder if what we're seeing is that the initial builds are bootstrapping the JDK by building it with a preexisting JDK. If so, we'd likely need to use --patch-module to add the JSpecify annotations to the existing JDK system APIs. At that point, we might consider using --patch-module throughout instead of actually compiling the annotations into the JDK.