while (current < options.length) { options[current++] = ""; } return options;
options = super.getOptions(); for (i = 0; i < options.length; i++) result.add(options[i]);  return (String[]) result.toArray(new String[result.size()]);
  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;  }