Puppet module for Jboss