A Puppet module for Tomcat