Ajout de servlet-api.jar, requis pour la compilation par le script de déploiement