Cleaned up web.xml