Verifica servlet e aggiornamento web.xml