edits to make jetty log filenames more explicit