protected static ProblemsHolder makeCopy(@NotNull ProblemsHolder original) {
    return new ProblemsHolder(original.getManager(), original.getFile(), original.isOnTheFly());
  }
protected static ProblemsHolder makeCopy(@NotNull ProblemsHolder original)