web.xml formated.