Formatting Servlets