if (util.match("/^... clientFile (.+)$/", line)) {
String f = util.group(1);
existing.add(f);
} else if (util.match("/^(.+) - no such file/", line)) {
String f = util.group(1);
nonExisting.add(f);
}
parent.log(parent.util.substitute("s/^.*: //", line),
Project.MSG_VERBOSE);