#!/bin/bash
exec ${TLA_JAVA:-java} $TLA_JAVA_OPTS -classpath /usr/share/java/tla2tools.jar "$@"