Am I right in thinking that javax.servlet is a Tomcat package (I get the feeling there might be different implementations)? Basically the error you're getting means that the Java compiler can't find...