public static @Nullable Document loadContent(String docName, Path file) {
    try {
      return new Document(docName, Files.readString(file));
    }
    catch (NoSuchFileException ignored) {
      return null;
    }
    catch (IOException e) {
      LOG.info(docName + ": " + e.getMessage());
      LOG.debug(e);
    }
    return new Document(docName, "");
  }
public static @Nullable Document loadContent(String docName, Path file)