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 :
Java > JRE installés.
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