Jcr2WorkspaceManager mgr = new Jcr2WorkspaceManager(sessionFactory);
mgr.initialize();
return mgr;
} else if (url.startsWith("rmi://")) {
// create rmi workspace manager
return new ClientWorkspaceManager(url);
} else {
throw new RuntimeException("Unsupported workspace manager url: " + url);
}
}