uber
Load the jdk astubx file
This pull request adds some nullness check support for modules in the JDK package. It adds the astubx file that contains the nullness information for the modules in the JDK package and loads it to NullAway.
This PR (which needs some work still) will address a good deal of #950. But, it's also going to potentially cause a lot more errors to be reported in existing code. I'm wondering about our release strategy for including this. One option would be to only load these models in JSpecify mode, and give an option to turn off the new models, in case someone wants to upgrade but wants to address the new errors one module at a time. Alternately, we could do a minor release before this lands, and then make this part of a "major" release, to make clear there will be some work to upgrade, but not have an option to disable. Or maybe we should do both ("major" release and include an option to disable)?
@sdeleuze curious for your thoughts here. You can see here some of the new warnings NullAway will emit on Spring Framework once this lands.
