From 4ef99ec731c10d7c2e33b3bac68b7b6d3ff242ca Mon Sep 17 00:00:00 2001
From: Henri Sara <hesara@vaadin.com>
Date: Wed, 27 Jun 2012 12:09:43 +0300
Subject: [PATCH] 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.
---
 build/build.xml | 1 +
 1 file changed, 1 insertion(+)

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/**" />
-- 
2.39.5