Fix checker framework lint warnings
TEMP DEBUGGING CHECKER TRAVIS JOB