POSTIN
/bin/sh
/usr/sbin/alternatives-helper --install servlet_jetty6-servlet-2.5-api
POSTUN
/bin/sh
if [ "$1" = "0" ]; then [ "$1" = 0 ] || exit 0; [ -x /usr/sbin/alternatives-helper ] && /usr/sbin/alternatives-helper --remove servlet_jetty6-servlet-2.5-api fi