public static WorkspaceManager createWorkspaceManager(String url,
final JcrSessionFactory sessionFactory) {
if (url == null || url.trim().length() == 0) {
// create workspace manager for a file system repository
Jcr2WorkspaceManager mgr = new Jcr2WorkspaceManager(sessionFactory);
mgr.initialize();
return mgr;
} else if (url.startsWith("rmi://")) {
// create rmi workspace manager
return new ClientWorkspaceManager(url);
} else {