Plugin TpTP ferme eclipse

Je voulais tester ce plugin mais il faut apparemment la dernière version d'eclipse , la 3.3 europa.

Donc je l'ai téléchargé, installé le plugin Tptp mais quand je lance le profile ça ferme direct eclipse sans meme un message d'erreur .

Donc je me suis dit il marche peutetre avec d'autres plugin , alors j'ai installé tous les plugins du serveur discovery. Bon maintenant c'est un peu le bordel ^^ trop d'options ...

Mais ça résout toujours pas le crash.

J'ai installé aussi un pack de langue , qui était pour la 3.2 en me disant qu'il y aurait que certains menus qui ne seraient pas traduit , mais ça ne marche toujours pas c'est en anglais . Es que c'est ça qui empêche tptp de fonctionner ?