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:
Java > JRE instalados.
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