String [] options = new String [15];
String [] options = new String [13];
  public String [] getOptions() {    String [] options = new String [15];    int current = 0;    options[current++] = "-C"; options[current++] = "" + m_C;    options[current++] = "-E"; options[current++] = "" + m_exponent;    options[current++] = "-S"; options[current++] = "" + m_seed;    options[current++] = "-A"; options[current++] = "" + m_cacheSize;    options[current++] = "-T"; options[current++] = "" + m_tol;    options[current++] = "-P"; options[current++] = "" + m_eps;    if (m_dontNormalize) {      options[current++] = "-N";    }    if (m_rescale) {      options[current++] = "-L";    }    if (m_lowerOrder) {      options[current++] = "-O";    }    while (current < options.length) {      options[current++] = "";    }    return options;  }