Editar una definición de JRE


Puede modificar todos los valores de una definición de JRE, excepto el tipo de JRE.

  1. En la barra de menús, seleccione Ventana > Preferencias.
  2. En el panel de la izquierda, expanda la categoría Java y seleccione JRE instalados.
  3. Seleccione la definición de JRE que desea editar y pulse Editar... Se abre la página Editar JRE.
  4. 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.
  5. 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.
  6. 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'.
  7. 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.
  8. Pulse Aceptar cuando haya terminado.

Conceptos relacionados
Herramientas de desarrollo Java (JDT)

Tareas relacionadas
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

Consulta relacionada
Página de preferencias de JRE instalados

Copyright (c) 2000, 2003 IBM Corporation y otras empresas. Reservados todos los derechos.