modify jetty start option (TODO: to give a jetty.xml)