#! /bin/sh
prefix=/usr
exec_prefix=/usr
exec /usr/bin/kaffe at.dms.dis.Main ${1+"$@"}

