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

    @Override
    public final String getName() {
        return workspaceName;
    }

      JcrWorkspace( JcrSession session,
                  String workspaceName );

}