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