String [] options = new String [8];
String [] options = new String [10];
  public String [] getOptions() {	    String [] options = new String [8];    int current = 0;    options[current++] = "-N"; options[current++] = "" + m_Folds;    options[current++] = "-M"; options[current++] = "" + m_MinNo;    options[current++] = "-P"; options[current++] = "" + m_NumAntds;    if(!m_IsRandomized)      options[current++] = "-R";    if(m_IsExclude)      options[current++] = "-E";	    while (current < options.length)       options[current++] = "";    return options;  }