added openWorkspace() method to the JProbeCore and WorkspaceManager.