From: Henri Sara <hesara@vaadin.com>
Date: Wed, 27 Jun 2012 09:09:43 +0000 (+0300)
Subject: Include rebased streamhtmlparser library in Vaadin JAR.
X-Git-Tag: 7.0.0.beta1~236^2~62^2~9
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca;p=vaadin-framework.git

Include rebased streamhtmlparser library in Vaadin JAR.

The library was previously in gwt-dev.jar and was included
automatically, moved to gwt-user.jar in GWT 2.5 release branch and thus
needs to be included explicitly.
---

diff --git a/build/build.xml b/build/build.xml
index cf852ad450..436170edc2 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -752,6 +752,7 @@
 
             <zipfileset src="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
             <zipfileset src="${gwt.tools.lib}/w3c/flute/flute-1.3-gg2.jar" />
+        	<zipfileset src="${gwt.tools.lib}/streamhtmlparser/streamhtmlparser-jsilver-r10/streamhtmlparser-jsilver-r10-1.5-rebased.jar" />
 
         	<!-- GWT development JAR contents including many external dependencies -->
             <zipfileset src="${gwt.dev.jar}" excludes="javax/servlet/**,javax/xml/**" />