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