Set tomcat_version's default to $tomcat::version