Add management of /etc/default/jetty.