added flush of buffer to Jetty static resource handler to fix some requests getting stuck