diff -urN hsqldb.old/patches/use-system-servlet-api.jar.diff hsqldb/patches/use-system-servlet-api.jar.diff --- a/external/hsqldb/patches/use-system-servlet-api.jar.diff 1970-01-01 01:00:00.000000000 +0100 +++ b/external/hsqldb/patches/use-system-servlet-api.jar.diff 2013-03-19 15:09:42.137801521 +0100 @@ -0,0 +1,29 @@ +--- misc/hsqldb/build/build.xml ++++ misc/build/hsqldb/build/build.xml +@@ -356,7 +356,7 @@ + optimize="${build.optimize}" + > + +- ++ + + + +@@ -818,7 +818,7 @@ + ${src}/org/hsqldb/util/RCData.java, + ${src}/org/hsqldb/util/SqlTool.java" + destdir="${basedir}/doc/src" +- classpath="${basedir}/lib/servlet.jar;${basedir}/lib/junit.jar" ++ classpath="/usr/share/java/servlet-api-3.1.jar;${basedir}/lib/junit.jar" + author="true" + version="false" + use="true" +@@ -839,7 +839,7 @@ +