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