eclipse-sprotty/sprotty-vscode not found