The Checker Framework: Pluggable Type Systems for Java 8 | Heykuki News