+ "(" + counter + ")."
+ fileExtension;
newDestFile = parent.resolve(newFileName);
if (!Files.exists(newDestFile)) {
return (FileUtils.copyFromSourceToDestFile(sourceFile,
<BUG>newDestFile,
false,
configuration));</BUG>
} else {
counter++;

+ "(" + counter + ")."
+ fileExtension;
newDestFile = parent.resolve(newFileName);
if (!Files.exists(newDestFile)) {
return (FileUtils.copyFromSourceToDestFile(sourceFile,
newDestFile,
false, getConfiguration()));
} else {
counter++;
