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