From: Henri Sara <hesara@vaadin.com>
Date: Tue, 26 Jun 2012 12:52:06 +0000 (+0300)
Subject: Do not explicitly include JSON library, take it from gwt-dev (now there)
X-Git-Tag: 7.0.0.beta1~236^2~62^2~10
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c348b301241310de233e9856d0609ac7cde0aa1e;p=vaadin-framework.git

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

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 -->