Checker Framework v2.11.0 Release Notes
Release Date: 2019-08-31 // over 4 years ago-
🔖 Version 2.11.0, August 30, 2019
The Checker Framework now uses the Java 9 javac API. The manual describes
how to satisfy this dependency, in a way that works on a Java 8 JVM.
⚙ Running the Checker Framework on a Java 9 JVM is not yet supported.