Version 3.49.3-eisop1 (May 6, 2025)
User-visible changes:
The Checker Framework runs under JDK 25 -- that is, it runs on a version 25 JVM.
Implementation details:
Gradle should now be run with at least JDK 17.
The ORG_GRADLE_PROJECT_useJdkVersion environment variable can be used to
select a different JDK for the actual compilation and testing.
Closed issues:
Version 3.49.3 (May 2, 2025)
User-visible changes:
The Checker Framework runs under JDK 24 -- that is, it runs on a version 24 JVM.
(EISOP note: this has been working for a while already.)
Closed issues:
typetools#6520, typetools#6671, typetools#6750, typetools#6762, typetools#6887, typetools#7001, typetools#7019, typetools#7024, typetools#7029, typetools#7053.
Version 3.49.2 (April 1, 2025)
Closed issues:
typetools#6747, typetools#6755, typetools#6789, typetools#6891, typetools#6963, typetools#6996, typetools#7001, typetools#7008, typetools#7014.