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.
