static public boolean load_database(String name)
  {
    try
    {
      FileInputStream file = new FileInputStream(name.hashCode() + ".db");
      GZIPInputStream gzis = new GZIPInputStream(file);
      try (ObjectInputStream ois = new ObjectInputStream(gzis))
      {
        TreeSet<CButton> setButtons = (TreeSet<CButton>) ois.readObject();
        FileWalker.getInstance().setSetButtons(setButtons);
      }
    } catch (java.io.IOException | ClassNotFoundException ex)
    {
      System.err.format("IOException: %s%n", ex);
      FileWalker.getInstance().setSetButtons(new TreeSet());
      return false;
    }
    return true;
  }