options[current++] = "-U"; options[current++] = "" + getUpperSize(); if (getResultProducer() != null) { options[current++] = "-W"; options[current++] = getResultProducer().getClass().getName();
options[current++] = "-U"; options[current++] = "" + getUpperSize(); if (getResultProducer() != null) { options[current++] = "-W"; options[current++] = getResultProducer().getClass().getName();
if (getResultProducer() instanceof OptionHandler) { ((OptionHandler) getResultProducer()).setOptions(Utils .partitionOptions(options));
if (getResultProducer() instanceof OptionHandler) { ((OptionHandler) getResultProducer()).setOptions(Utils .partitionOptions(options));