JSP prettifying