web-xml section updated