options[current++] = "-B";
options[current++] = "-W";
  public String [] getOptions() {    String [] options = new String [4];    int current = 0;    options[current++] = "-B";    options[current++] = "" + getClassifierSpec();    // Same for filter    options[current++] = "-F";    options[current++] = "" + getFilterSpec();        while (current < options.length) {      options[current++] = "";    }    return options;  }