String [] options = new String [10]; int current = 0; options[current++] = "-N"; options[current++] = "" + (m_numRules-5); options[current++] = "-A"; options[current++] = "" + m_car; options[current++] = "-c"; options[current++] = "" + m_classIndex; while (current < options.length) { options[current++] = ""; } return options;
result = new Vector();  result.add("-N"); result.add("" + (m_numRules-5));  if (m_car) result.add("-A");  result.add("-c"); result.add("" + m_classIndex);  return (String[]) result.toArray(new String[result.size()]);
  public String [] getOptions() {    String [] options = new String [10];    int current = 0;    options[current++] = "-N"; options[current++] = "" + (m_numRules-5);    options[current++] = "-A"; options[current++] = "" + m_car;    options[current++] = "-c"; options[current++] = "" + m_classIndex;    while (current < options.length) {      options[current++] = "";    }    return options;  }