Eclipse JGit: Java implementation of Git 5.12.0