private static void recordFile(StringBuilder result, java.nio.file.Path path) {
    try {
      result.append(path)
        .append(" ").append(Files.size(path))
        .append(" ").append(Files.getLastModifiedTime(path))
        .append("\n");
    }
    catch (IOException e) {
      throw new RuntimeException(e);
    }
  }
private static void recordFile(StringBuilder result, java.nio.file.Path path)