tree cad5bfa4ba56292c9400e6700e0fc7df3266c44d
parent 26fb902345367fab0d8deafd2dd6b273d91af17b
author David Pursehouse <dpursehouse@collab.net> 1531386995 +0900
committer David Pursehouse <dpursehouse@collab.net> 1531386998 +0900

JGit: Use Javadoc from 5.0.1.201806211838-r

When we upgraded to 5.0.1.201806211838-r the Javadoc was not
available, so the previous version was used.

Now it's available, so we can use it.

Change-Id: Ic1b244177964d6a15d0179e3bf5223ff7fc07cd8