From 48ed28455ee5cc351199b772713b01cef5d9c5a3 Mon Sep 17 00:00:00 2001 From: "Ahmad K. Bawaneh" Date: Wed, 18 Dec 2024 16:16:28 +0300 Subject: [PATCH] use original jdt jar from maven --- dev/build.xml | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/dev/build.xml b/dev/build.xml index 0b181dd75a..d3648b93a7 100755 --- a/dev/build.xml +++ b/dev/build.xml @@ -63,8 +63,7 @@ - - + @@ -127,9 +126,7 @@ - + src="${gwt.tools.lib}/eclipse/original/org.eclipse.jdt.core-3.32.0.jar"/> @@ -225,9 +222,7 @@ - + location="${gwt.tools.lib}/eclipse/original/org.eclipse.jdt.core-3.32.0.jar"/>