make service restart from users resource use correct service name

Currently the service restarted when a new user is added is hard coded as "tomcat", although the service is actually called "tomcat7" when the version number of tomcat specified is "7". Fix this.