testing with Gervais' tomcat