Sophie: tomcat5-servlet-2.4-api-0:5.5.23-0jpp.40.el5_9 x86

tomcat5-servlet-2.4-api-5.5.23-0jpp.40.el5_9.x86_64.rpm

/bin/sh

update-alternatives --install /usr/share/java/servlet.jar servlet \
    /usr/share/java/tomcat5-servlet-2.4-api.jar 20400
/usr/bin/rebuild-gcj-db

/bin/sh

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