tomcat digester