Puppet modules for activate https ports in tomcat