| ******************************************************************************* |
| Checker Framework Annotations |
| ******************************************************************************* |
| A few parts of the Checker Framework have more permissive licenses. |
| |
| * The annotations are licensed under the MIT License. (The text of this |
| license appears below.) More specifically, all the parts of the Checker |
| Framework that you might want to include with your own program use the |
| MIT License. This is the checker-qual.jar file and all the files that |
| appear in it: every file in a qual/ directory, plus NullnessUtils.java |
| and RegexUtil.java. In addition, the cleanroom implementations of |
| third-party annotations, which the Checker Framework recognizes as |
| aliases for its own annotations, are licensed under the MIT License. |
