docs: public void checkCanceled(final ResourceSet rs) {
      if ((rs instanceof XtextResourceSet)) {
        if ((((XtextResourceSet)rs).isOutdated() && (this.cancelationAllowed.get()).booleanValue())) {
          this.canceledManager.throwOperationCanceledException();
        }
      }
    }