Upgrade JGit to 4.7.0.201704051617-r

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