String [] options = new String [10]; int current = 0; options[current++] = "-K"; options[current++] = "" + getKValue(); options[current++] = "-M"; options[current++] = "" + getMinNum(); options[current++] = "-S"; options[current++] = "" + getSeed(); if (getDebug()) { options[current++] = "-D";
result = new Vector();  result.add("-K"); result.add("" + getKValue());  result.add("-M"); result.add("" + getMinNum());  result.add("-S"); result.add("" + getSeed());  if (getMaxDepth() > 0) { result.add("-depth"); result.add("" + getMaxDepth());
  public String[] getOptions() {        String [] options = new String [10];    int current = 0;    options[current++] = "-K";     options[current++] = "" + getKValue();    options[current++] = "-M";     options[current++] = "" + getMinNum();    options[current++] = "-S";    options[current++] = "" + getSeed();    if (getDebug()) {      options[current++] = "-D";    }    while (current < options.length) {      options[current++] = "";    }    return options;  }