this is the servlet 2.4 API from jakarta tomcat 5.0.24
