4903162 

Windows 上与 url-patterns 的大小写相关的问题。

按照 Servlet 规范，web.xml 中的 url-pattern 元素是区分大小写的。这可能使 Windows 用户获得意外的结果（例如，客户机请求 index.HTML 时，实际是认为此文件等同于 index.html）。