Update jetty_ini.pp
Merge pull request #145 from ghoneycutt/patch-3

Update jetty_ini.pp