From c684fa0c7ce4b208df531655d9229b719599be05 Mon Sep 17 00:00:00 2001
From: Thorsten Muerell <thorsten@muerell.de>
Date: Wed, 8 Nov 2017 15:57:44 +0100
Subject: [PATCH] Added java home

---
 package.json          | 2 +-
 src/sessionmanager.ts | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/package.json b/package.json
index e9198ce..a5cf6e8 100644
--- a/package.json
+++ b/package.json
@@ -80,7 +80,7 @@
             "properties": {
                 "frog.javaHome": {
                     "type": "string",
-                    "default": false,
+                    "default": "",
                     "description": "Set the java home to use for the runner."
                 }
             }
diff --git a/src/sessionmanager.ts b/src/sessionmanager.ts
index cdc4e1d..d07592c 100644
--- a/src/sessionmanager.ts
+++ b/src/sessionmanager.ts
@@ -60,7 +60,8 @@ export class SessionManager {
         }
 
         let extPath = vscode.extensions.getExtension("todie.frog").extensionPath;
-        let javaHome = vscode.workspace.getConfiguration('frog').get("frog.javaHome", "")
+        const configuration = vscode.workspace.getConfiguration('frog')
+        const javaHome = configuration.get("javaHome", "")
         let java = "java";
         if (javaHome) {
             java = path.join(javaHome, 'bin', 'java')