This is a snapshot of the latest head of JGit's master branch. Jetty was changed to version 9.3.17.v20170317. This version change will be done for Gerrit in a follow-up commit. Change-Id: I19ca866f90b16260f72fdd9cdc97683031b48488