# HG changeset patch
# User Chris Cannam
# Date 1406208357 -3600
# Node ID c3d749d029ee29351a1a135a5090c707276d9483
# Parent  b3f3b42b9933b021e0681f30d423801b1cb0960d
Add servlet-api-3.0.jar (alternative filename) to build.xml

diff -r b3f3b42b9933 -r c3d749d029ee build.xml
--- a/build.xml	Thu Mar 27 17:35:18 2014 +0000
+++ b/build.xml	Thu Jul 24 14:25:57 2014 +0100
@@ -18,7 +18,7 @@
   </target>
 
   <target name="build">
-    <javac srcdir="${src}" destdir="${class.dir}" classpath="servlet-api.jar:${lib}/javabuilder.jar:${lib}/isvr.jar:${lib}/log4j-1.2.17.jar" includeantruntime="false"/>
+    <javac srcdir="${src}" destdir="${class.dir}" classpath="servlet-api.jar:servlet-api-3.0.jar:${lib}/javabuilder.jar:${lib}/isvr.jar:${lib}/log4j-1.2.17.jar" includeantruntime="false"/>
   </target>
 
   <target name="ir">