Use a read-only manual (.tar.gz) installation of Tomcat 7 on the CI platform, instead of the running tomcat7 Debian package.