#!/bin/sh
# Author: Jeff Dalton
# Updated: Sat May 20 03:41:06 2006 by Jeff Dalton
# Copyright: (c) 2001 - 2006, AIAI, University of Edinburgh

this_dir=`dirname "$0"`
export ix=$this_dir/..

exec java -jar launcher.jar "$@"

