argsRestart.add(v.toString());
}
}
}
}
<BUG>argsRestart.addAll(args);
args = argsRestart;</BUG>
}
return args;
}

argsRestart.add(v.toString());
}
}
}
}
for (int i = 0, n = nonOptionArgs.size(); i < n; ++i)
argsRestart.add(nonOptionArgs.get(i));
args = argsRestart;
}
return args;
}
