Service actually works named 'tomcat' with the tomcat7 init script