From 80bf388ce02d4ccea0847e60d495ab3d0ab5f0df Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 10 Sep 2026 22:33:50 +0000 Subject: [PATCH] build(deps): bump org.eclipse.jdt:org.eclipse.jdt.core Bumps [org.eclipse.jdt:org.eclipse.jdt.core](https://github.com/eclipse-jdt/eclipse.jdt.core) from 3.46.0 to 3.47.0. - [Commits](https://github.com/eclipse-jdt/eclipse.jdt.core/commits) --- updated-dependencies: - dependency-name: org.eclipse.jdt:org.eclipse.jdt.core dependency-version: 3.47.0 dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- gen.jdt/build.gradle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gen.jdt/build.gradle b/gen.jdt/build.gradle index 0dbc80729..53422bf51 100644 --- a/gen.jdt/build.gradle +++ b/gen.jdt/build.gradle @@ -7,5 +7,5 @@ description = 'GumTree tree generator for Java code (Eclipse JDT based).' dependencies { implementation project(':core') - implementation 'org.eclipse.jdt:org.eclipse.jdt.core:3.46.0' + implementation 'org.eclipse.jdt:org.eclipse.jdt.core:3.47.0' }