Utilizzo di JRE

Una definizione JRE (Java Runtime Environment) rappresenta uno dei diversi JRE o Development Kit installati. Una definizione JRE è composta da:

È possibile modificare il JRE predefinito impostato per il workbench. Vedere la sezione Assegnazione del JRE predefinito per il workbench