#!/bin/sh

MC=edu.toronto.cs.modelchecker.ModelCheckerFrontEnd
JAVAOPT="-Dlogger.file.name=$ROOT/log-cfg/xbel.log.cfg -Xnoclassgc -Xms16m -Xmx640m"
$JAVA $JAVAOPT $MC "$@"
