Checker framework support (simpler version)

Simpler version of #51