Use maven compiler plugin annotation proc config
Fix MethodHandle related crash in JDK 8
Fix sporadically failing test
Fix checker framework lint warnings
Fix travis ci checker job failure