formateo correcto del archivo web.xml