} else if (m_DeleteType == Attribute.DATE) { options[current++] = "date";
  public String [] getOptions() {    String [] options = new String [2];    int current = 0;    options[current++] = "-T";    if (m_DeleteType == Attribute.NOMINAL) {      options[current++] = "nominal";    } else if (m_DeleteType == Attribute.NUMERIC) {      options[current++] = "numeric";    } else {      options[current++] = "string";    }    while (current < options.length) {      options[current++] = "";    }    return options;  }