String[] options = new String [13];
String[] options = new String [20];
  public String[] getOptions() {    String[] options = new String [13];    int current = 0;    if(m_Balanced) {      options[current++] = "-L";     }    options[current++] = "-I"; options[current++] = "" + m_NumIterations;    options[current++] = "-A"; options[current++] = "" + m_Alpha;    options[current++] = "-B"; options[current++] = "" + m_Beta;    options[current++] = "-H"; options[current++] = "" + m_Threshold;    options[current++] = "-W"; options[current++] = "" + m_DefaultWeight;    options[current++] = "-S"; options[current++] = "" + m_Seed;    while (current < options.length) {      options[current++] = "";    }    return options;  }