Fix for #888: use the same timeout than Jetty