update web.xml for REST service