String [] options = new String [classifierOptions.length + 14];
String [] options = new String [classifierOptions.length + 7];
  public String [] getOptions() {    String [] classifierOptions = new String [0];    if ((m_Classifier != null) && 	(m_Classifier instanceof OptionHandler)) {      classifierOptions = ((OptionHandler)m_Classifier).getOptions();    }    String [] options = new String [classifierOptions.length + 14];    int current = 0;    if (getDebug()) {      options[current++] = "-D";    }    if (getOptimizeBins()) {      options[current++] = "-O";    }    options[current++] = "-B"; options[current++] = "" + getNumBins();    if (getLearner() != null) {      options[current++] = "-W"; options[current++] = getLearner();    }    options[current++] = "--";    System.arraycopy(classifierOptions, 0, options, current, 		     classifierOptions.length);    current += classifierOptions.length;    while (current < options.length) {      options[current++] = "";    }    return options;  }