Added isEmpty() method to DataManager. Synchronized WorkspaceManager. Added String argument to core openWorkspace() method.