jetty servlet.jar in build.xml

[bobu]

I've just installed jboss and am trying to build a sample application from the CD that comes with the JBOSS book (Sams Publ). I believe the sample is also on the jboss website.

There is a line in build.xml that reads:
<!-- Change if your not using tomcat -->

followed by the following line:


What should be used if you are using Jetty, which is the server I downloaded with JBoss?

Thanks,
Bob

[petertje]

/server/default/lib/javax.servlet.jar

[petertje]

/server/default/lib/javax.servlet.jar