[tom] changed the dependency to the servlet api to reference the
standard one.