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:

  1. Abra la página de preferencias Abre la página de preferencias JRE instalados 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.
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 Abre la página de preferencias Espacio de trabajo General > Espacio de trabajo.)

Conceptos relacionados

Herramientas de desarrollo Java (JDT)

Tareas relacionadas

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

Consulta relacionada
Página de preferencias de JRE instalados