#! /bin/sh set -e basedir=/usr/lib/jvm/jpkg-java-7-se-jre jre_tools='java keytool pack200 rmid rmiregistry unpack200 orbd servertool tnameserv policytool' case "$1" in upgrade) for i in $jre_tools; do if [ -n "$(update-alternatives --list $i 2>/dev/null | grep ^$old_basedir/)" ]; then update-alternatives --remove $i $old_basedir/bin/$i || true fi done #if [ -n "$(update-alternatives --list jexec 2>/dev/null | grep ^$old_basedir/)" ]; then # update-alternatives --remove jexec $old_basedir/lib/jexec || true #fi cd /usr/lib/jvm rm -rf jpkg-java-7-se-jre ;; esac exit 0