/gumtree/core/src/main/java/com/github/gumtreediff/utils