Merge branch 'stable-0.12'

* stable-0.12:
  JGit 0.12.1