Update patch set 1

Patch Set 1: Verified+1

Build Successful 

https://ci.eclipse.org/jgit/job/stable/job/jgit.gerrit-pipeline/5115/ : SUCCESS

Patch-set: 1
Reviewer: Gerrit User 241953 <241953@97ee7c02-f12f-4043-b43e-dea463d88b31>
Label: Verified=+1