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:
Closed issues:
#6747, #6755, #6789, #6891, #6963, #6996, #7001, #7008, #7014.