Editar una definición de JRE
Puede modificar todos los valores para 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, edite o pulse
Examinar... para seleccionar la vía de
acceso al directorio raíz de la instalación JRE (normalmente el directorio que contiene
los directorios bin y
lib para el JRE). Esta ubicación
se comprueba automáticamente para asegurarse de que es una vía de acceso válida.
-
En el campo URL de Javadoc, edite o pulse
Examinar... para seleccionar la ubicación de URL.
El asistente de exportación de Javadoc y la acción 'Abrir Javadoc externo' utilizan la
ubicación como valor por omisión.
- Si desea utilizar las bibliotecas por omisión y los archivos fuente
para este JRE, seleccione el recuadro Utilizar bibliotecas por
omisión del sistema. De lo contrario, borre la marca y personalice la selección según convenga. También puede conectarse el código 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 JRE
Página de preferencias de JRE instalados