#!/usr/bin/sh

java -jar /usr/share/java/jflex/jflex.jar "$@"