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

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
com.github.gumtreediff:core	4.0.0-beta2 -> 4.0.0-beta3

---

Release Notes

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

v4.0.0-beta3

Compare Source

v4.0.0-beta3 (Ginkgo)

• New native distribution with zero dependencies apart from JDK 21
• Vastly improved swing client with directory comparison, syntax highlighting, and more
• Update monaco
• Update bootstrap
• Update mergely
• New Acorn based tree generator for JS that replaces rhino as default JS generator
• New tree-sitter based tree generator with support for a wide range of languages with both a python and a java implementation.
• Docker image now comes installed with the Acorn and tree-sitter parsers
• Very light docker image with the native distribution
• Benchmark now displays size differences on a boxplot
• Dotdiff displays actions on nodes using colors
• Default build command no longer test generators requiring native 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
• Fix shortcuts in vanilla web diff view
• Replaced snakehtml by j2html for webdiff

---

Configuration

📅 Schedule: 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.