Upgrade to version 8.1.8.

Note about the change in files/jettyctl.in: if the configuration
file is passed on the command line then jetty 8 will try to create
a socket twice on the same port and fail, so it was removed.