oracle_jre_bin_jre="policytool"
else
oracle_jre_bin_hl="java javaws keytool orbd pack200 rmid rmiregistry servertool tnameserv unpack200 policytool"
oracle_jre_bin_jre="javaws policytool"
fi
if [ "${DEB_BUILD_ARCH:0:3}" != "arm" ]; then
oracle_jre_bin_jre="policytool"
else
oracle_jre_bin_hl="java javaws keytool orbd pack200 rmid rmiregistry servertool tnameserv unpack200 policytool"
oracle_jre_bin_jre="javaws policytool"
fi
if [ "${DEB_BUILD_ARCH:0:3}" != "arm" ]; then