#!/bin/sh
JAVA_HOME=/mit/javadev
CLASS=sun.rmi.rmic.Main
exec $JAVA_HOME/arch/${ATHENA_SYS}/bin/java $JAVA_ARGS $CLASS ${1+"$@"}