#!/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' # rm $basedir/**/classes.jsa? if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then for i in $jre_tools; do update-alternatives --remove $i $basedir/bin/$i done #update-alternatives --remove jexec $basedir/lib/jexec cd /usr/lib/jvm rm -rf jpkg-java-7-se-jre fi exit 0