#!/bin/bash
#
# unix shell script to run jpf
#

JPF_HOME=/usr/share/java/jpf

if test -z "$JVM_FLAGS"; then
  JVM_FLAGS="-Xmx1024m -ea"
fi

java $JVM_FLAGS -jar "$JPF_HOME/RunJPF.jar" "$@"