What version of Apache Tomcat does LabTutor Server 4 utilise?

The latest version of LabTutor 4, LabTutor 4.5.5, runs Apache Tomcat 7.