class JcrWorkspace implements org.modeshape.jcr.api.Workspace {

    final ExecutionContext context() {
        return session.context();
    }

      JcrWorkspace( JcrSession session,
                  String workspaceName );

}