#!/bin/sh

MC=edu.toronto.cs.xkripke.XKripkeMvSetBuilder
JAVAOPT=-Dlogger.file.name=$ROOT/log-cfg/xbel.log.cfg

$JAVA $JAVAOPT $MC "$@"