#! /bin/sh
prefix=/boot/home/bekaffe
exec_prefix=${prefix}
exec ${exec_prefix}/bin/kaffe sun.security.provider.Main ${1+"$@"}
