The introduction of annotations with J2SE 5 has changed how we write and process Java. Besides Java SE’s predefined annotations, frameworks, IDEs, and toolkits have introduced their own custom annotations. The Checker Framework has provided examples of how custom annotations can be used to add greater type safety in Java. In this post, I look ...