#!/bin/sh 
SCRIPTPATH=$(dirname "$(readlink -f "$0")")
java -cp "$SCRIPTPATH/lib/*" "TAPAAL" "$@"