Update jetty_ini.pp