Added Servlet documentation