Tools for the servlet