// Initialization
        	System.out.println("initialize");
        	InitializeParams initParams = new InitializeParams();
        	initParams.setWorkspaceFolders(List.of(
        			new WorkspaceFolder(
        					workspacePath.toUri().toString(),
        					workspaceName
        				)
        			));
      		server.initialize(initParams).get();
      		System.out.println("initialized");
      		server.initialized(new InitializedParams());
      		System.out.println("Setup done");

		// Open files
		System.out.println("didOpens");
		for (String uri : workspaceURIs) {
			DidOpenTextDocumentParams openParams = new DidOpenTextDocumentParams(
  				new TextDocumentItem(
  						uri,
  						"rosetta",
  						1,
  						Resources.toString(new URL(uri), Charsets.UTF_8)
  				));
			server.getTextDocumentService().didOpen(openParams);
		}

  		// Wait for diagnostics
  		System.out.println("Wait for diagnostics");
  		server.getRequestManager().runRead((cancelIndicator) -> client.getDiagnostics()).get();
  		System.out.println("Got diagnostics");

		// Close files
		System.out.println("didCloses");
		for (String uri : workspaceURIs) {
			DidCloseTextDocumentParams closeParams = new DidCloseTextDocumentParams(
				new TextDocumentIdentifier(
						uri
				));
			server.getTextDocumentService().didClose(closeParams);
		}

		// Shutdown
		System.out.println("shutdown");
		server.getRequestManager().shutdown();
	  	server.shutdown().get();

initialize
Generating for file:///xxx/annotations.rosetta
Generating for file:///xxx/basictypes.rosetta
Generating for file:///xxx/reg-model.rosetta
Generating for file:///xxx/reg.rosetta
initialized
Received message: textDocument/publishDiagnostics
Received message: textDocument/publishDiagnostics
Received message: textDocument/publishDiagnostics
Received message: textDocument/publishDiagnostics
Setup done
didOpen file:///xxx/basictypes.rosetta
didOpen file:///xxx/annotations.rosetta
didOpen file:///xxx/reg-model.rosetta
didOpen file:///xxx/reg.rosetta
Wait for diagnostics
Received message: textDocument/publishDiagnostics
Generating for file:///xxx/basictypes.rosetta
Received message: textDocument/publishDiagnostics
Generating for file:///xxx/reg-model.rosetta
Received message: textDocument/publishDiagnostics
Generating for file:///xxx/annotations.rosetta
Received message: textDocument/publishDiagnostics
Generating for file:///xxx/reg.rosetta
Got diagnostics
didClose file:///xxx/basictypes.rosetta
didClose file:///xxx/annotations.rosetta
didClose file:///xxx/reg-model.rosetta
didClose file:///xxx/reg.rosetta
shutdown