Working with JREs

A Java Runtime Environment (JRE) definition represents one of the different JREs or development kits you may have installed. A JRE definition consists of:

You can switch the default JRE for the workbench. See Assigning the Default JRE for the Workbench