326327328329330331332333
return this; } protected final void checkNotClosed() { if (closed) { throw new WorkspaceNotFoundException(JcrI18n.workspaceHasBeenDeleted.text(getWorkspaceName())); } }