Asignar el JRE predeterminado para el entorno de trabajo
El JRE predeterminado se utiliza para compilar y lanzar programas Java en todos los proyectos, a menos que se
altere temporalmente de forma específica el JRE predeterminado en la vía de acceso de construcción de un proyecto o en
una configuración de lanzamiento.
Puede cambiar el JRE predeterminado de la forma siguiente:
-
Abra la página de preferencias
Java > JRE instalados.
-
Marque el recuadro en la línea del JRE que desea asignar como JRE predeterminado
en el entorno de trabajo.
Si el JRE que desea asignar como valor predeterminado no
figura en la lista, debe añadirlo.
-
Pulse Aceptar.
Nota: el hecho de cambiar el JRE predeterminado puede hacer que se produzca una construcción si la
opción de construcción automática está habilitada (Proyecto > Construir automáticamente o en la
página de preferencias
General > Espacio de trabajo.)
Herramientas de desarrollo Java (JDT)

Añadir una definición de JRE nueva
Elegir un JRE para lanzar un proyecto
Trabajar con los JRE

Página de preferencias de JRE instalados