#!/bin/sh
set -e
basedir=/@basedir@
jre_tools='@jre_tools@'
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
for i in $jre_tools; do
update-alternatives --remove $i $basedir/bin/$i
done
fi
#DEBHELPER#