Mauvaise prise en compte du changement de nom du cookie de session

Suite au ticket CORE-4077, le changement du nom de cookie de session n'est pas pris en compte lors de l'export de fichiers.
En effet, la méthode SessionUtil#getTrackingCookieName ne gère que le cas de la modification dans le fichier web.xml.
Il faudrait aussi prendre en compte la modification provenant du server.xml de Tomcat.
La méthode devrait donc :

• prendre la valeur issue du web.xml
• si non renseignée prendre celle du server
• si non renseignée prendre la valeur par défaut JSESSIONID