#!/bin/sh exec groovy '/usr/lib/jflap2tikz/jflap2tikz.groovy' "$@"