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.
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
Utilisation des chemins
de génération
Gestion des environnements JRE