Adapt to jgit 2d8777536 (servlet-4 branch)

Change-Id: Icd3dfde3aeaaf3fd8c6959681f6bb18296d79825
1 file changed
tree: bc10457f6b53100ffbe2626613551738fcbe1ef8
  1. .settings/
  2. src/
  3. .gitignore
  4. BUILD
  5. LICENSE