We have released a new version of the Checker Framework.
The Checker Framework lets you create and/or run pluggable type checkers, in order to detect and prevent bugs in your code.
You can find documentation and download links at:
http://CheckerFramework.org/Changes for Checker Framework version 3.24.0:
User-visible changes:
Performance improvements.
Minor bug fixes and enhancements.
Implementation details:
Prefer SystemUtil.jreVersion
to SystemUtil.getJreVersion()
.
Closed issues:
#5200, #5216.