if (nonOptionArgs.size() > 0) {
showProcessingInfo();
rv = verify(args, nonOptionArgs, resultProcessor);
if (rv == RV_RESTART) {
assert !hasRestarted();
<BUG>List<String> argsRestart = processRestartArguments(args, resultProcessor);
</BUG>
reporter.logInfo(reporter.message("*KEY*", "Restarting with augmented option arguments: {0}.", argsRestart));
rv = run(argsRestart, resultProcessor, true);
}

if (nonOptionArgs.size() > 0) {
showProcessingInfo();
rv = verify(args, nonOptionArgs, resultProcessor);
if (rv == RV_RESTART) {
assert !hasRestarted();
List<String> argsRestart = processRestartArguments(args, nonOptionArgs, resultProcessor);
reporter.logInfo(reporter.message("*KEY*", "Restarting with augmented option arguments: {0}.", argsRestart));
rv = run(argsRestart, resultProcessor, true);
}
