#!/bin/sh
exec java -classpath /usr/share/java/tla2tools.jar tlc2.TLC "$@"