#! /bin/sh
if [ -s ./jre/bin/jre ] 
then
	jre_exec=./jre/bin/jre
else
	jre_exec=jre
fi
$jre_exec -cp pmtools.jar -cp oromatcher.jar PMUpgrade $*
