void FindWorkspace( ) { workspace = WorkspaceManager.FindEmptyWorkspace( ); workspace.SetWorker(this); }