Migrate spring-batch-infrastructure to JSpecify annotations

[scordio]

This change also introduces NullAway to verify @NullMarked annotated packages.

This also includes the changes from #4959, but I'll rebase this PR once that one is merged.

• See Migrate to JSpecify annotations for nullability constraints #4673

[fmbenhassine]

This is a huge amount of work.. thank you very much for contributing this PR! I REALLY appreciate your time and effort on this 🙏

I am targeting the migration to jSpecify for v6.0.0-M3 (planned for Sep 17th), so I will start working on this right after releasing 6.0.0-M2. I see that the PR is still in draft status, which is ok, but is there a module I can I start reviewing?

Just as a (self) reminder, we need to get rid of the com.google.code.findbugs:jsr305 dependency as part of this.

[scordio]

Hi @fmbenhassine, I couldn't spend time on it in the last weeks, but I'll be able to get back to it this week and make sure it'll be in the right shape in time for M3 (including giving you time for review, of course 🙂)

So far, I approached it by executing the full build and addressing the problems in a mostly sequential order. I'll rebase my branch and see if I can split the changes into smaller PRs so that the review becomes easier.

[scordio]

@fmbenhassine I'm reducing the scope of this PR to spring-batch-infrastructure for a simpler review (I guess you could remove some labels), and I'll raise separate PRs for the other modules.

(as you wisely proposed in the past 🙃)