String [] options = new String [11];
String [] options = new String [12];
  public String [] getOptions() {    String [] options = new String [11];    int current = 0;    if (getMakeBinary()) {      options[current++] = "-D";    }    if (getUseBetterEncoding()) {      options[current++] = "-E";    }    if (getUseKononenko()) {      options[current++] = "-K";    }    if (getFindNumBins()) {      options[current++] = "-O";    }    if (getInvertSelection()) {      options[current++] = "-V";    }    if (!getUseMDL()) {      options[current++] = "-B"; options[current++] = "" + getBins();    }    if (!getAttributeIndices().equals("")) {      options[current++] = "-R"; options[current++] = getAttributeIndices();    }    while (current < options.length) {      options[current++] = "";    }    return options;  }