[PAXEXAM-667] Adapt to changed Tomcat API