provided by puppet-jboss