public void runHeavyModificationTask(@NotNull Project project, @NotNull Document document, @NotNull Runnable o) {
    o.run();
  }
public void runHeavyModificationTask(@NotNull Project project, @NotNull Document document, @NotNull Runnable o)