Added HTMLServlet.Escape().