options[current++] = "" + m_searchSize;
options[current++] = "" + getSearchPercent();
  public String[] getOptions () {    String[] options = new String[5];    int current = 0;    if (m_verbose) {      options[current++] = "-V";    }    if (!(getStartSet().equals(""))) {      options[current++] = "-P";      options[current++] = ""+startSetToString();    }    options[current++] = "-F";    options[current++] = "" + m_searchSize;    while (current < options.length) {      options[current++] = "";    }    return  options;  }