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 :

  1. Ouvrez la page des préférences Ouvre la page des préférences JRE installés Java > JRE installés.
  2. 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.
  3. 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 Ouvre la page des préférences Espace de travail Général > Espace de travail ).

Concepts connexes

Outils de développement Java (JDT)

Tâches connexes

Ajout d'une définition JRE
Choix d'un environnement JRE pour le lancement d'un projet
Gestion des environnements JRE

Référence associée
Page des préférences JRE installés