Upgrade JGit to 4.7.1.201706071930-r

Change-Id: I608dc750638ebdab1ce334c6490604c1e6d14137
2 files changed
tree: d758ffced305e4b2474de5b04844a99437e18550
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. external_plugin_deps.bzl
  7. WORKSPACE