if (m_useLaplace) { options[current++] = "-A"; }
  public String [] getOptions() {    String [] options = new String [9];    int current = 0;    if (m_noCleanup) {      options[current++] = "-L";    }    if (m_unpruned) {      options[current++] = "-U";    } else {      if (!m_subtreeRaising) {	options[current++] = "-S";      }      if (m_reducedErrorPruning) {	options[current++] = "-R";	options[current++] = "-N"; options[current++] = "" + m_numFolds;      } else {	options[current++] = "-C"; options[current++] = "" + m_CF;      }    }    if (m_binarySplits) {      options[current++] = "-B";    }    options[current++] = "-M"; options[current++] = "" + m_minNumObj;    while (current < options.length) {      options[current++] = "";    }    return options;  }