Eine JRE-Definition (Java Runtime Environment - Java-Laufzeitumgebung) stellt eine der unterschiedlichen JREs oder Gruppen von Entwicklungstools dar, die installiert sein können. Eine JRE-Definition besteht aus:
Sie können die Standard-JRE für die Workbench wechseln. Weitere Informationen finden Sie unter Standard-JRE für die Workbench zuordnen.