&gt; I am currently in mind to port this to Checker Framework, <a href="http:&#x2F;&#x2F;types.cs.washington.edu&#x2F;checker-framework&#x2F;" rel="nofollow">http:&#x2F;&#x2F;types.cs.washington.edu&#x2F;checker-framework&#x2F;</a> which is fully supported by the JDK8 compiler.<p>Awesome! Checker is <i>very</i> promising. Unfortunately, its developers have not yet (I think) turned their efforts into making it as easy to use as possible (it could be made very easy to use, but that would take some effort).