Checker framework support (simpler version)
Merge pull request #52 from trask/checker-framework-support

Checker framework support (simpler version)