fix(deps): update dependency com.github.gumtreediff:core to v4.0.0

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.github.gumtreediff:core	4.0.0-beta8 → 4.0.0

---

Release Notes

GumTreeDiff/gumtree (com.github.gumtreediff:core)

v4.0.0

Compare Source

• New minimal distribution with zero non-java dependencies
• Vastly improved swing client with directory comparison, syntax highlighting, and more
• Update monaco
• Update bootstrap
• Update mergely
• New tree-sitter based tree generator with support for a wide range of languages with a java implementation
• Dropped external parsers that have a tree-sitter counterpart (except srcml)
• Vastly improved docker image of less than 300mb with a new arm64 version
• Benchmark now displays size differences on a boxplot
• Dotdiff displays actions on nodes using colors
• Default build command no longer test generators requiring external tools
• Test reports are uploaded in the CI
• Added citation file
• Simple is now the default matcher
• Added auto matchers which automatically select the best parameters for the input
• Native XML support
• Native YAML support
• Native JSON support
• Fix shortcuts in vanilla web diff view
• Replaced snakehtml by j2html for webdiff
• Totally reworked build system

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.