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