fix jetty settings file creation