protected void includeHistory(Element root) {
   // add history to end of document
   if (InstanceManager.getDefault(FileHistory.class) != null) {
     root.addContent(
         jmri.jmrit.revhistory.configurexml.FileHistoryXml.storeDirectly(
             InstanceManager.getDefault(FileHistory.class)));
   }
 }