Customizing Web.xml
Customizing web.xml for multiple applications
Customizing web.xml for session timeouts
Parent topic:
Building and Deploying Extensions