protected RestartDestinationLocator getRestartLocator() {
public RestartDestinationLocator getRestartLocator() {
  protected RestartDestinationLocator getRestartLocator() {    if (restartLocator == null) {      restartLocator = new RestartDestinationLocator(model);    }    return restartLocator;  }