Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Upgrade JGit to 4.7.6.201810191618-r
  Add Eclipse project
  Remove redundant entries from .gitignore

Change-Id: I708e12ab1782f0475e4436346958c188d8ae3938