Latest version of com.github.gumtreediff:client
https://javadoc.io/doc/com.github.gumtreediff/client
Current version 4.0.0-beta3
https://javadoc.io/doc/com.github.gumtreediff/client/4.0.0-beta3
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.github.gumtreediff/client/4.0.0-beta3/package-list