Mettre à niveau Apache Tomcat manuellement