Resolve Java 25 ftbfs

Vladimir Petkorequested to merge
vpa1977/checker-framework-java:master into master

This MR resolves 1128165

Changes:

  • backport upstream patches to resolve Java 25 ftbfs

Testing:

  • rebuild in sid chroot
  • rebuild in sid chroot with Java 25 default

Merge request reports