Pubblicazione servlet registrazione in web.xml