API break in JGit 4.9 due to the fix for bug 517128

See change Ib5fbf17bdaf727bc5d0e106ce88f2620d9f87a6f

Change-Id: Ibb6fe5ab39069dcdacb28d2e943923758107b9b5
2 files changed