JRE installations

Add

Adds a new JRE definition to the workbench. In the resulting dialog, specify the following:

• JRE type: (select a VM type from the drop-down list)
• JRE name: Type a name for this JRE definition
• JRE home directory: Type or browse to select the root directory for this JRE installation
• Javadoc URL: Type or browse to select the URL location. The location is used by the Javadoc export wizard as a default value and by the 'Open External Javadoc' action. Debugger timeout: Type the default timeout for this JRE's debugger (in ms)

• Either check the box to use the default library locations for this JRE or clear the check box and type or browse to select library locations for the following:

  • JAR file (e.g., classes.zip)
  • Source file (e.g., source.zip)

You can click the Browse buttons to browse for paths.

Edit

Allows you to edit the selected JRE.

Remove

Removes the selected JRE from the workbench.