Manage the contents of jetty.ini