options[current++] = "-F " + m_Limit;
options[current++] = "-F "; options[current++] = "" + m_Limit;
  public String [] getOptions() {            String [] options = new String [3];    int current = 0;            if (m_Debug) {       options[current++] = "-D";    }            options[current++] = "-F " + m_Limit;    while (current < options.length) {       options[current++] = "";    }    return options;  }