static @NotNull Path getDataFile(@NotNull Path file) { // made public for testing
    return file.resolveSibling(file.getFileName() + DATA_FILE_EXTENSION);
  }
static @NotNull Path getDataFile(@NotNull Path file)