416096 DefaultServlet leaves open file descriptors with file sizes greater than response buffer