#!/bin/bash
exec java -jar /usr/share/java/tla2json.jar "$@"