options[current++] = "";
  public String [] getOptions() {    String [] superOptions = super.getOptions();    String [] options = new String [superOptions.length + 2];    int current = 0;    if (getUseResampling()) {      options[current++] = "-Q";    } else {      options[current++] = "-P";       options[current++] = "" + getWeightThreshold();    }    System.arraycopy(superOptions, 0, options, current, 		     superOptions.length);    return options;  }