POSTIN

/bin/sh

update-alternatives --install /usr/share/java/servlet.jar servlet \
    /usr/share/java/tomcat5-servlet-2.4-api.jar 20400
if [ -x /usr/bin/rebuild-gcj-db ]; then /usr/bin/rebuild-gcj-db || true ; fi

POSTUN

/bin/sh

if [ "$1" = "0" ]; then
    update-alternatives --remove servlet \
        /usr/share/java/tomcat5-servlet-2.4-api.jar
fi
if [ -x /usr/bin/rebuild-gcj-db ]; then /usr/bin/rebuild-gcj-db || true ; fi