Added a dependency on the checker framework.
Changed the POM to understand Java 1.8 idioms.