From eef092a2f9d95792863a51ffb427065d1b087346 Mon Sep 17 00:00:00 2001 From: "Ahmad K. Bawaneh" Date: Thu, 9 Jan 2025 17:50:49 +0300 Subject: [PATCH] Update JDT Use JDT jars from maven central rather than packaging our own Fix #10026 --- dev/build.xml | 13 ++++++++++--- maven/lib-gwt.sh | 2 +- maven/poms/gwt/gwt-dev/pom-template.xml | 4 ++++ maven/poms/gwt/pom-template.xml | 6 ++++++ 4 files changed, 21 insertions(+), 4 deletions(-) diff --git a/dev/build.xml b/dev/build.xml index 97908cf89f..e72134f892 100755 --- a/dev/build.xml +++ b/dev/build.xml @@ -63,7 +63,8 @@ - + + @@ -125,7 +126,11 @@ - + + + + + @@ -224,7 +229,9 @@ + location="${gwt.tools.lib}/eclipse/org.eclipse.jdt.core_3.33.0.v20230222-1748.jar"/> + org.eclipse.jetty apache-jsp + + org.eclipse.jdt + org.eclipse.jdt.core + diff --git a/maven/poms/gwt/pom-template.xml b/maven/poms/gwt/pom-template.xml index 0825e6cf47..113e211d8a 100644 --- a/maven/poms/gwt/pom-template.xml +++ b/maven/poms/gwt/pom-template.xml @@ -251,6 +251,12 @@ jetty-xml ${jetty.version} + + + org.eclipse.jdt + org.eclipse.jdt.core + 3.33.0 +