refresh(): void {
    if (!this._onDidChangeTreeData) {
        this._onDidChangeTreeData = new vscode.EventEmitter<void>();
    }
    this._onDidChangeTreeData.fire();
}

