{"version":3,"file":"default-workspace-server.spec.d.ts","sourceRoot":"","sources":["../../src/node/default-workspace-server.spec.ts"],"names":[],"mappings":""}