config: bump jgit to 4.9.1.201712030800-r
config: bump jgit to 4.9.1.201712030800-r

romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,jonmbake/checkstyle,rnveach/checkstyle,jonmbake/checkstyle,rnveach/checkstyle,rnveach/checkstyle,checkstyle/checkstyle,checkstyle/checkstyle,checkstyle/checkstyle,romani/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,romani/checkstyle,rnveach/checkstyle,romani/checkstyle,checkstyle/checkstyle,jonmbake/checkstyle,romani/checkstyle,rnveach/checkstyle