a parte do xml para configuração do servlet