A Tomcat module for Puppet