451634 DefaultServlet: useFileMappedBuffer javadoc is misleading