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