One of the interesting tools I learned about at JavaOne 2012 is The Checker Framework. One of the Checker Framework’s…