checker-framework - Pluggable type-checking for Java