#!/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/jre/bin/$i
    done
fi

#DEBHELPER#