Currently when you generate a web application, the web.xml file specifies version 2.4 of the servlet API.
Given that all recently released application servers support 2.5, we should upgrade web.xml to that version.
In the meantime, users can modify web.xml manually if desired.