Servlet configuration required for #869