more changes to servlets