open val checkerFramework: CheckerFrameworkExtension
Overrides ReadableDefaultsExtension.checkerFramework
Configuration for Checker Framework