Add specs on the tomcat7_rhel class