#!/bin/sh

#--- Configuration -----------------------------------------
#
#  You will need to change these variables to reflect
#  where and how you wish to run Key.
#
#   JAVA_HOME=/usr/local/java
#	KEY_HOME=$HOME/key
export NS_JAVA="true"
	JAVA_VM=$JDKHOME/bin/java
#    JAVA_VM=/usr/local/bin/kaffe
	VM_OPT="-mx10m -noasyncgc -ss10k -oss40k -ms5m"
#	VM_OPT=-verbosegc
	BASE_CLASS=key.Forest

#----------------------------------------- Configuration ---

#--- Script ------------------------------------------------
#
#  The remainder of this file need not be changed.  It is
#  a shell script that will ensure Key is started with the
#  supplied parameters and in the correct directory.
#

#while( true )
#do
	cd $KEY_HOME
	$JAVA_VM $VM_OPT $BASE_CLASS $*
#	sleep 2
#done

#
#------------------------------------------------ Script ---
