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.
boîte de dialogue Configuration de lancement,
cliquez sur l'onglet JRE.
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.

Outils de développement Java (JDT)

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