}  if (!"".equals(getAttributeNamePrefix())) { options[current++] = "-P"; options[current++] = getAttributeNamePrefix();
  public String [] getOptions() {    String [] options = new String [11];    int current = 0;    options[current++] = "-D";     options[current++] = getDelimiters();    if (getSelectedRange() != null) {      options[current++] = "-R";       m_SelectedRange.setUpper(getInputFormat().numAttributes() - 1);      options[current++] = getSelectedRange().getRanges();    }    options[current++] = "-W";     options[current++] = String.valueOf(getWordsToKeep());    if (getOutputWordCounts()) {      options[current++] = "-C";    }    while (current < options.length) {      options[current++] = "";    }    return options;  }