Can't remember off the top of my head the exact jar file, but you need to look in the tomcat.sar in
there are servlet jars in there.
I've been using $JBOSS_HOME/server/default/deploy/jbossweb-tomcat50.sar/servlet-api.jar
That did the trick.
I got the jsp-api.jar and the servlet-api.jar from JBOSS_HOME/server/xxx/deploy/tomcat.sar,
and the jboss-j2ee.jar from
Those jars satisfied idea, and I'm moving forward again.
Where did you place those jars for the plugin to work?