Servlet API (this one taken from our deployement target Tomcat 3.2.x).
Any other JAR comptible with this servlet API could be used.
For details please see: http://java.sun.com/products/servlet/