#!/bin/sh
export CLASSPATH="/usr/share/java/jpf/*"

java gov.nasa.jpf.tool.RunJPF "$@"