#!/bin/sh
# Author: Jeff Dalton
# Updated: Mon Aug 29 14:58:31 2005 by Jeff Dalton
# Copyright: (c) 2005, AIAI, University of Edinburgh

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

exec $ix/etc/path-java ix.test.CheckDomains "$@"
