src/Tools/VSCode/extension/src/extension.ts

--- a/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 13:38:20 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Sun Jan 01 20:24:19 2017 +0100
@@ -26,8 +26,7 @@
   };
   let client_options: LanguageClientOptions = { documentSelector: "isabelle" };
 
-  let disposable =
-    new LanguageClient("Isabelle Language Service", server_options, client_options, false).start();
+  let disposable = new LanguageClient("Isabelle", server_options, client_options, false).start();
   context.subscriptions.push(disposable);
 }