if (getDebug()) result.add("-D");
  public String[] getOptions() {    Vector        result;    String[]      options;    int           i;        result  = new Vector();    options = super.getOptions();    for (i = 0; i < options.length; i++)      result.add(options[i]);    if (getDebug())      result.add("-D");        result.add("-R");    result.add("" + getMaxIterations());    result.add("-B");    result.add("" + getDiscretizeBin());    return (String[]) result.toArray(new String[result.size()]);  }