Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

6
  • 4
    Seems great and I'd like to use it, but cannot. Why GPL? Couldn't it be the LGPL instead? Commented Dec 4, 2012 at 8:52
  • 15
    According to the FAQ: "The more permissive MIT License applies to code that you might want to include in your own program, such as the annotations." Commented Jul 11, 2013 at 3:50
  • 1
    The links are currently broken. But +1 for the advice on using Checker Framework. Commented Oct 21, 2016 at 11:52
  • 1
    It's a pity that the immutability checkers are dropped in latest release. Commented Jan 21, 2017 at 16:54
  • 2
    Checker Framework is also suggested in Oracle Java Tutorials. Commented May 16, 2018 at 8:29