Ubuntu uses Tomcat 7 (closes #738)