Hi all, Some time ago we turned off checker framework locally by default, and only turn it on with `-PenableCheckerFramework` and also on Jenkins.
My opinion is that this causes more headache than it solves, by delaying finding out about errors. The increased compilation time of checkerframework is real. But during iteration almost every step of a compile is cached so it only matters specifically for :sdks:java:core. My take is that anyone editing that is probably experienced enough with Beam to know they can turn it off. So I propose we turn it on by default, with the option to disable it. Kenn