Checker framework support
Merge pull request #51 from trask/checker-framework-support

Checker framework support.