modified format of web.xml.