From c348b301241310de233e9856d0609ac7cde0aa1e Mon Sep 17 00:00:00 2001
From: Henri Sara <hesara@vaadin.com>
Date: Tue, 26 Jun 2012 15:52:06 +0300
Subject: [PATCH] Do not explicitly include JSON library, take it from gwt-dev
 (now there)

---
 build/build.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index d4d37b4e77..cf852ad450 100644
--- 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 -->
-- 
2.39.5