Définition de l'environnement JRE par défaut du plan de travail
Les programmes Java de tous les projets sont compilés et lancés dans
l'environnement JRE par défaut si vous ne remplacez pas spécifiquement ce
dernier dans le chemin de compilation d'un projet ou dans une configuration
de lancement.
Voici comment vous pouvez changer le JRE par défaut :
-
Ouvrez la page des préférences
Java > JRE installés.
-
Cochez la case correspondant à
l'environnement JRE à affecter comme JRE par défaut de votre plan de
travail.
Si le JRE à affecter comme valeur par défaut ne s'affiche
pas dans la liste, ajoutez-le.
-
Cliquez sur OK.
Remarque : Une génération peut alors se produire si vous avez
activé l'option de génération automatique (via Projet >
Génération automatique ou dans la page des préférences
Général > Espace
de travail ).
Outils de développement Java (JDT)
Ajout d'une définition JRE
Choix d'un environnement JRE pour le
lancement d'un projet
Gestion des environnements JRE

Page des préférences JRE
installés