Discussion :

[Emilie MARQUOIS-OGEZ]

Bonjour,

J'aimerai utiliser le jre1.5.0_12 et non le jre1.6.0_3 pour Eclipse. J'ai modifié l'exécutable en tapant "C:\Program Files\Eclipse\eclipse\eclipse.exe" -vm "c\Program Files\Java\jre1.5.0_12" mais j'ai un message d'erreur (voir image jointe).

Une idée ?

Merci d'avance pour votre aide.

Emilie

[GyZmoO]

J'ai peur de pas bien comprendre mais tu peux essayer de faire ça :

Sous éclipse, window->préférences->Java->Installed JREs

si ça peut t'aider !

[Emilie MARQUOIS-OGEZ]

Bonsoir,
Merci, mais c'est justement ce que j'ai fait au départ,. mais au final c'est toujours la version 1.6_03 du jre qui est utilisé. Je pensais contourner le problème en modifiant les propriétés du raccourci qui me permet de lancer Eclipse (en ajoutant -vm cheminverslajre), mais j'ai une erreur (voir mon message précédent).
Emilie

[Emilie MARQUOIS-OGEZ]

Une idée ? Une suggestion ? Merci.

[CyberChouan]

Il manque tout simplement le répertoire "bin" à la fin de ton paramètre "vm".

Et le "Installed JRE" ne permet pas de déterminer avec quelle JRE Eclipse sera lancé mais avec quel JRE les programmes développés sous Eclipse seront exécutés

Maintenant, je vois mal pourquoi tu veux absolument lancer Eclipse en utilisant la JRE 5. Cela n'influera pas sur le JDK utilisé pour compiler/exécuter les programmes que tu développes. Ca, ça se gère effectivement avec les paramètres "Installed JRE" et "Compiler" de tes préférences java.

[Emilie MARQUOIS-OGEZ]

Bonjour à tous,

Merci CyberChouan pour ta réponse. Ca marche. Je ne souhaitais lancer Eclipse en utilisant la JRE 5 car avec la JRE 6 je ne parviens pas à faire fonctionner le plugin TPTP. Eclipse se ferme à chaque fois que je le lance. Il semble que je ne sois pas la seule à l'avoir constaté. A ce sujet, si vous avez une idée.

Encore merci.

Emilie