Cleaned up web.xml.