docs: private static String escapeFileSeparatorChar(String fname)
    {
      if (File.separatorChar == '\\')
      {
        return fname.replaceAll(File.separator + File.separator, "_");
      }
      else
      {
        return fname.replaceAll(File.separator, "_");
      }
    }