Do not explicitly include JSON library, take it from gwt-dev (now there)

diff --git a/build/build.xml b/build/build.xml
index d4d37b4e77b8a1aa7ad5efb5555aecc7ee7f407c..cf852ad45096e3b6f2d4497255fd2195aa58e6ac 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -790,9 +790,6 @@
                <!-- GWT SuperDevMode -->
             <zipfileset src="${gwt.codeserver.jar}" />
                
-               <!-- JSON library, required when precompiled JSON.gwtar is not included -->
-               <zipfileset src="${gwt.tools}/redist/json/r2_20080312/json-1.5.jar" />
-
                <!-- jarjar rules: rebase packages from gwt-dev.jar but not those from gwt-user -->
                
                <!-- Don't rebase these -->