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 cf852ad45096e3b6f2d4497255fd2195aa58e6ac..436170edc2b9c84d0df30c6e5db03e884ec697c5 100644 (file)
--- 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/**" />