[java-sig-commits] [hsqldb1] Bump to tomcat servlet api 3.1.