Fix & document JSON-RPC service launchers. (#1067)

Author: toinehartman

rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java

@@ -64,7 +64,7 @@ public RascalInterface(IRascalMonitor monitor) {
                 var port = Integer.parseInt(property);
                 Socket socket = new Socket(InetAddress.getLoopbackAddress(), port);
                 Launcher<LanguageRegistry> clientLauncher = new Launcher.Builder<LanguageRegistry>()
-                    .setLocalService(new Object())
+                    .setLocalService(new Object()) // no local service
                     .setRemoteInterface(LanguageRegistry.class)
                     .setInput(socket.getInputStream())
                     .setOutput(socket.getOutputStream())

rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java

@@ -38,7 +38,7 @@
 import org.eclipse.lsp4j.jsonrpc.messages.ResponseErrorCode;
 import org.eclipse.lsp4j.services.LanguageClient;
 import org.rascalmpl.ideservices.GsonUtils;
-import org.rascalmpl.ideservices.IRemoteIDEServices;
+import org.rascalmpl.ideservices.IDEServices;
 import org.rascalmpl.vscode.lsp.IBaseTextDocumentService;
 import org.rascalmpl.vscode.lsp.IDEServicesConfiguration;
 
@@ -69,9 +69,9 @@ public void run() {
                     Socket connection = serverSocket.accept();
                     connection.setTcpNoDelay(true);
 
-                    Launcher<IRemoteIDEServices> remoteIDEServicesLauncher = new Launcher.Builder<IRemoteIDEServices>()
+                    Launcher<IDEServices> remoteIDEServicesLauncher = new Launcher.Builder<IDEServices>()
                         .setLocalService(new RemoteIDEServicesServer(languageClient, docService, exec))
-                        .setRemoteInterface(IRemoteIDEServices.class)
+                        .setRemoteInterface(IDEServices.class)
                         .setInput(connection.getInputStream())
                         .setOutput(connection.getOutputStream())
                         .configureGson(GsonUtils.complexAsBase64String())