/*.................................................................................................................*/
  public void appendToConfigFileGeneral(StringBuffer config) {
    if (config != null) {
      config.append("\ndatafname=" + dataFileName);
      config.append("\nofprefix=" + ofprefix);

      if (useConstraintTree == 0) config.append("\nconstraintfile = none");
      else config.append("\nconstraintfile = constraintTree"); // important to be user-editable

      config.append("\nstreefname = random");

      config.append("\navailablememory = " + availMemory + " \n");
      config.append(" \noutputmostlyuselessfiles = 0");

      config.append("\n\nrandseed = " + randseed); // important to be user-editable

      config.append("\nsearchreps = " + numRuns);

      config.append("\n");
    }
  }
 /*.................................................................................................................*/
 public String preparePreferencesForXML() {
   StringBuffer buffer = new StringBuffer(200);
   StringUtil.appendXMLTag(buffer, 2, "availMemory", availMemory);
   buffer.append(super.preparePreferencesForXML());
   return buffer.toString();
 }