#!/bin/sh
java -jar -Duser.home=$HOME -Djava.io.tmpdir=$TMPDIR /opt/CIVL-1.7.2_3714/lib/civl-1.7.2_3714.jar $@
