Removing garbage from web.xml