cd /opt/
sudo tar xvf ~/jetty-distribution-9.3.24.v20180605.tar.gz
sudo cp -r jetty/jetty-base/ jetty-distribution-9.3.24.v20180605/
sudo chown -R jetty:jetty jetty-distribution-9.3.24.v20180605/
sudo /etc/init.d/jetty stop
sudo rm jetty
sudo ln -s jetty-distribution-9.3.24.v20180605/ jetty
La till
JETTY_HOME=/opt/jetty
JETTY_BASE=/opt/jetty/jetty-base
I /etc/default/jetty