public static void store(ObjectOutputStream os) throws IOException { os.writeObject(settings);
public static void store(OutputStream os) throws IOException { settings.store(os, defaultSettingsFileHeader);
  public static void store(ObjectOutputStream os) throws IOException {    os.writeObject(settings);  }