#!/bin/sh

# I would prefer it this way, but there does not seem to be a way to
# find out the HOME of the JDK ...
# : ${JAVA_HOME:="@@@JAVA_HOME@@@"}
# ... If there is no JDK, simply set the following ...
# : ${JRE_HOME:="$JAVA_HOME/jre"}

# ... but we have to refer to the JRE only!
: ${JRE_HOME:="@@@JRE_HOME@@@"}

: ${JACORB_HOME:="@@@JACORB_HOME@@@"}
export JACORB_HOME

: ${JVM_FLAGS:=""}

# call java interpreter
exec ${JRE_HOME}/bin/java ${JVM_FLAGS} \
    @@@CLASSPATH@@@ \
    -Djacorb.home=@@@JACORB_HOME@@@ \
    -Dorg.omg.CORBA.ORBClass=org.jacorb.orb.ORB \
    -Dorg.omg.CORBA.ORBSingletonClass=org.jacorb.orb.ORBSingleton \
    "$@"

