annotating web.xml