[jboss-dev] servlet api which one?

We still appear to have two "different" versions of the servlet api within jboss5 One lives in thirdparty/jboss/jboss-javaee but doesn't include jsp and el. The other is in thirdparty/jboss/web which does include the other apis. Both sets of jars end up in jboss-5.0.0.GA/common/lib -- xxxxxxxxxxxxxxxxxxxxxxxxxxxx Adrian Brock Chief Scientist JBoss, a division of Red Hat xxxxxxxxxxxxxxxxxxxxxxxxxxxx