jetty-puppet-module