There is a comprehensive introduction to type annotations and the Checker Framework in this month's Java Magazine, pages 56-61: http://www.oraclejavamagazine-digital.com/javamagazine/march_april_2014 Alex