kleinere JSP-/Servlet-Updates