Choix d'un environnement JRE pour une configuration de lancement

Au lieu d'exécuter et de déboguer toutes les configurations de lancement des applications Java du plan de travail dans l'environnement JRE par défaut, vous pouvez associer un environnement JRE différent à une configuration particulière.

  1. Avec une configuration d'application Java sélectionnée dans la Ouvre la boîte de dialogue Configuration de lancement boîte de dialogue Configuration de lancement, cliquez sur l'onglet JRE.
  2. Dans la liste des JRE disponibles, sélectionnez le JRE à utiliser pour lancer cette configuration et cliquez sur Appliquer, Exécuter ou Déboguer.

Remarque : L'utilisation d'un autre JRE pour l'exécution ne modifie pas la manière dont le code source Java est compilé. Vous pouvez ajuster le chemin de génération pour procéder à la génération en utilisant des bibliothèques personnalisées. 

Concepts connexes
Outils de développement Java (JDT)

Tâches connexes
Définition de l'environnement JRE par défaut du plan de travail
Exécution et débogage
Gestion des environnements JRE