#!/bin/sh

MC=edu.toronto.cs.xkripke.XKripkeToDaVinci
JAVAOPT=-Dlogger.file.name=$ROOT/log-cfg/xbel.log.cfg
$JAVA $JAVAOPT $MC "$@"
