Cross Reference: /barrelfish-master/usr/eclipseclp/RUNME

449     echo "Java Runtime Environment (JRE_HOME)."
450     jre="$JRE_HOME"
454 	if [ -x "$jre/bin/java" ]; then JRE_HOME="$jre"; break; fi
654 JRE_HOME="\${JRE_HOME:-$JRE_HOME}"
655 export ECLIPSEDIR $LD_LIB_PATH_NAME DAVINCIHOME JRE_HOME
685 JRE_HOME="\${JRE_HOME:-$JRE_HOME}"
686 export ECLIPSEDIR TCL_LIBRARY TK_LIBRARY $FRAMEWORK_PATH_NAME $LD_LIB_PATH_NAME DAVINCIHOME JRE_HOME
710 JRE_HOME="\${JRE_HOME:-$JRE_HOME}"
711 export ECLIPSEDIR TCL_LIBRARY TK_LIBRARY DYLD_LIBRARY_PATH DAVINCIHOME JRE_HOME
778 JRE_HOME="\${JRE_HOME:-$JRE_HOME}"
779 CLASSPATH="\$ECLIPSEDIR/lib/eclipse.jar${JPSEP}\${JRE_HOME}/lib/rt.jar"
780 export ECLIPSEDIR JRE_HOME
781 exec "\${JRE_HOME}/bin/java" -Xss2m ${JIT_OPTION} -Declipse.directory="\$ECLIPSEDIR" -classpath "\$CLASSPATH" com.parctechnologies.eclipse.JEclipse "\$@"
857 JRE_HOME='$JRE_HOME'