web.xml deployment descriptors updated