Updating from Jetty 9.3.6 to current 9.3.15?

[Rich Graves]

My stupid error.

> /opt/jetty/start.jar jetty.home=/opt/jetty-distribution-9.3.15...

/opt/jetty/[start.jar] was still a symlink to
/opt/jetty-distribution-9.3.6... and the library versions didn't
match.