Editar una definición de JRE
Puede modificar todos los valores de una definición de JRE, excepto el tipo de
JRE.
-
En la barra de menús, seleccione Ventana >
Preferencias.
-
En el panel de la izquierda, expanda la categoría
Java y seleccione JRE instalados.
-
Seleccione la definición de JRE que desea editar y pulse
Editar... Se abre la página Editar JRE.
-
En el campo Nombre de JRE, edite el nombre de la
definición de JRE. Todos los JRE del mismo tipo deben tener un nombre exclusivo.
-
En el campo Directorio inicial de JRE, escriba la vía de
acceso del directorio raíz de la instalación de JRE o pulse
Examinar... para seleccionarla (suele ser el directorio que
contiene los directorios bin y lib del JRE). Esta ubicación se comprueba
automáticamente para asegurar que es una vía de acceso válida.
-
En el campo URL de Javadoc, escriba la ubicación del URL o pulse
Examinar... para seleccionarla. La ubicación se utiliza por
omisión en el asistente de exportación de Javadoc y en la acción 'Abrir Javadoc
externo'.
-
Si desea utilizar las bibliotecas por omisión y los archivos fuente
para este JRE, marque el recuadro Utilizar bibliotecas por
omisión del sistema. De lo contrario, quite la marca y personalice la
selección según convenga. También se puede conectar el fuente de los JAR a los
que se hace referencia.
-
Pulse Aceptar cuando haya terminado.
Herramientas de desarrollo Java (JDT)

Añadir una definición de JRE nueva
Suprimir una definición de JRE
Alterar temporalmente las bibliotecas del sistema por omisión para una definición de JRE
Trabajar con los JRE

Página de preferencias de JRE instalados