added compile-time dependency for javax.servlet.servlet-api