minor tweak to backup jetty.xml filename