Thomas Meyer The patch looks good but we should also verify wtheter it works with other Servlet containers (e.g. Jetty).