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