Il y a plus expert que moi ici, mais si cette tache ne part pas à l'Eclipse c'est qu'elle n'est pas grasse (et pour cause)
Je suis persuadé quelle diparaitrait avec une lingette humide.
Mais n'ayant jamais entendu ni lu que ce la ce faisait : NE PAS FAIRE !
Attendre qu'un expert véritable s'exprime et donne la recette.
Moi je ne vois que ça.