#!/bin/csh

# Find out JAVA_HOME
set JAVA_BIN=`which java`
set JAVA_BIN_DIR=`dirname $JAVA_BIN`
set JAVA_HOME=`dirname $JAVA_BIN_DIR`

# Find out PROGDIR
set BINDIR=`dirname $0`
set PROGDIR=`dirname $BINDIR`

# And start the JavaVM with the correct start class
$JAVA_HOME/bin/java -classpath $JAVA_HOME/lib/tools.jar:$PROGDIR/lib/Jedi.jar -Djedi.root=$PROGDIR jedi.convert.Convert1
