docs: private void tryRestoreExecutionGraphFromSavepoint(ExecutionGraph executionGraphToRestore, SavepointRestoreSettings savepointRestoreSettings) throws Exception {
  		if (savepointRestoreSettings.restoreSavepoint()) {
  			final CheckpointCoordinator checkpointCoordinator = executionGraphToRestore.getCheckpointCoordinator();
  			if (checkpointCoordinator != null) {
  				checkpointCoordinator.restoreSavepoint(
  					savepointRestoreSettings.getRestorePath(),
  					savepointRestoreSettings.allowNonRestoredState(),
  					executionGraphToRestore.getAllVertices(),
  					userCodeLoader);
  			}
  		}
  	}