#!/bin/sh
basedir=.
CLASSPATH=$basedir/pp4.jar java de.tu_darmstadt.sp.pp4.PPower4 "$@"