Latest version of org.eclipse.jgit:org.eclipse.jgit.ui
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.ui
Current version 5.0.0.201805301535-rc2
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.ui/5.0.0.201805301535-rc2
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/org.eclipse.jgit/org.eclipse.jgit.ui/5.0.0.201805301535-rc2/package-list