diff --git a/vscode-extensions/commons-vscode/src/launch-util.ts b/vscode-extensions/commons-vscode/src/launch-util.ts
index 0fe501c2b..254c95a12 100644
--- a/vscode-extensions/commons-vscode/src/launch-util.ts
+++ b/vscode-extensions/commons-vscode/src/launch-util.ts
@@ -69,9 +69,7 @@ function isCheckingJVM(wsOpts : VSCode.WorkspaceConfiguration): boolean {
     if (!wsOpts) {
         return true;
     }
-    const checkJvm: boolean = wsOpts.get("checkJVM");
-    console.log(`Check JVM: ${checkJvm}`);
-    return checkJvm;
+    return wsOpts.get("checkJVM");
 }
 
 function getUserDefinedJvmArgs(wsOpts : VSCode.WorkspaceConfiguration) : string[] {