400631 - Calling flush() on HttpServletResponse.getOutputStream() after last byte of body causes EofException.

Now flush() is a no-operation if the stream is already closed, consistently with previous Jetty versions.