I think the consensus was to remove the servlet classes from the javaee project.
Adrian Brock wrote:
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