servlet-api.jar equivalent in JBoss 4.0.0

[hsutarwala]

Does anybody know the servlet-api.jar equivalent in JBoss 4.0.0?

[starksm64]

jboss-4.0.0/server/default/lib/javax.servlet.jar