/**
   * Gets the current settings of the classifier.
   *
   * @return an array of strings suitable for passing to setOptions
   */
  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]);

    options = m_Classifier.getOptions();
    for (i = 0; i < options.length; i++) result.add(options[i]);

    if (getUseNaiveSearch()) result.add("-naive");

    return (String[]) result.toArray(new String[result.size()]);
  }