Git Repository to reproduce the Jgit problem that is described in Bug 317416 (https://bugs.eclipse.org/bugs/show_bug.cgi?id=317416)
