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