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 el JRE predeterminado de forma específica 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:

1. Abra la página de preferencias Java > JRE instalados.
2. 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.
3. Pulse Aceptar.

General > Espacio de trabajo

Herramientas de desarrollo Java (JDT)

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

Página de preferencias de JRE instalados