There is no requirement for the jar file containing the
servlet classes to be named servlet.jar - in Tomcat5 it is named servlet-api.jar. Use any file searching tool you have to search for the content "javax.servlet"
Why did you decide to use JRUN?
Bill