Update to JGit 3.5.1
Merge commit 'ff4f1aa5b9ab97e5a28aca0c855a3a573fe4e632' into HEAD