options[current++] = "" + getMinVariance();
options[current++] = "" + getMinVarianceProp();
  public String[] getOptions() {        String [] options = new String [12];    int current = 0;    options[current++] = "-M";     options[current++] = "" + getMinNum();    options[current++] = "-V";     options[current++] = "" + getMinVariance();    options[current++] = "-N";     options[current++] = "" + getNumFolds();    options[current++] = "-S";     options[current++] = "" + getSeed();    options[current++] = "-D";     options[current++] = "" + getMaxDepth();    if (getNoPruning()) {      options[current++] = "-P";    }    while (current < options.length) {      options[current++] = "";    }    return options;  }