options[current++] = "" + getLowerSize(); options[current++] = "-U"; options[current++] = "" + getUpperSize(); if (getResultProducer() != null) { options[current++] = "-W";
options[current++] = "" + getLowerSize(); options[current++] = "-U"; options[current++] = "" + getUpperSize(); if (getResultProducer() != null) { options[current++] = "-W";