options[current++] = "-P"; options[current++] = "" + m_printValues;
result.add("-P"); result.add("" + m_printValues);
  public String [] getOptions() {        String [] options = new String [24];    int current = 0;        /* Pruning options. */    options[current++] = "-K"; options[current++] = "" + m_best;    options[current++] = "-F"; options[current++] = "" + m_frequencyThreshold;    options[current++] = "-C"; options[current++] = "" + m_confirmationThreshold;    options[current++] = "-N"; options[current++] = "" + m_noiseThreshold;    /* Search space and language bias options. */    if (m_repeat) {      options[current++] = "-R";    }    options[current++] = "-L"; options[current++] = "" + m_numLiterals;    options[current++] = "-G"; options[current++] = "" + m_negation;    if (m_classification) {      options[current++] = "-S";    }    options[current++] = "-c"; options[current++] = "" + m_classIndex;    if (m_horn) {      options[current++] = "-H";    }    /* Subsumption tests options. */    if (!m_equivalent) {      options[current++] = "-E";    }    if (!m_sameClause) {      options[current++] = "-M";    }    if (!m_subsumption) {      options[current++] = "-T";    }    /* Missing values options. */    options[current++] = "-I"; options[current++] = "" + m_missing;    /* ROC analysis. */    if (m_roc) {      options[current++] = "-O";    }    /* Individual-based learning. */    options[current++] = "-p"; options[current++] = "" + m_partsString;    /* Values output. */    options[current++] = "-P"; options[current++] = "" + m_printValues;    while (current < options.length) {      options[current++] = "";    }    return options;  }