Do you need all these elements in web.xml ? I like to keep it lean.