Servlet checkstyle