while (current < options.length) { if (options[current] == null) { options[current] = ""; } current++; }
  public String [] getOptions() {    String [] superOptions = super.getOptions();    String [] options = new String [superOptions.length + 7];    int current = 0;    if (m_MatrixSource == MATRIX_SUPPLIED) {      if (m_CostFile != null) {        options[current++] = "-C";        options[current++] = "" + m_CostFile;      }    } else {      options[current++] = "-N";      options[current++] = "" + getOnDemandDirectory();    }    if (getMinimizeExpectedCost()) {      options[current++] = "-M";    }    System.arraycopy(superOptions, 0, options, current, 		     superOptions.length);    return options;  }