TAP_Servlet cosmetics