src/vs/workbench/contrib/files/browser/workspaceWatcher.ts/WorkspaceWatcher/unwatchWorkspace
class WorkspaceWatcher:	private unwatchWorkspace(workspace: IWorkspaceFolder): void {
		if (this.watchedWorkspaces.has(workspace.uri)) {
			dispose(this.watchedWorkspaces.get(workspace.uri));
			this.watchedWorkspaces.delete(workspace.uri);
		}
	}