options[current++] = "-D";
options[current++] = "-Y";
  public String[] getOptions() {    String[] options = new String[5];    int current = 0;    options[current++] = "-R";    options[current++] = "" + getRhoa();    if (m_showRules) {      options[current++] = "-D";    }    if (m_BoundsFile.toString() != "") {      options[current++] = "-B";      options[current++] = "" + getBoundsFile();    }    while (current < options.length) {      options[current++] = "";    }    return options;  } // getOptions