#! /bin/sh

d=`pwd`
echo ssh -n ${JAVA_BOOTHOST} \
	'cd '$d'; '${JAVA_BOOTDIR}'/bin/javap ' "$@" >&2
ssh -n ${JAVA_BOOTHOST} \
	'cd '$d'; '${JAVA_BOOTDIR}'/bin/javap ' "$@"
