From 2a338a105df0b5b834a5ed7d44ddc71d78559715 Mon Sep 17 00:00:00 2001
From: Jason Liu <jasonlhy@gmail.com>
Date: Thu, 30 Jul 2020 23:28:53 +0800
Subject: [PATCH] Update devcontainer.json

---
 .devcontainer/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index ad6774f..9eee23b 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -5,7 +5,7 @@
 	// Set *default* container specific settings.json values on container create.
 	"settings": { 
 		"terminal.integrated.shell.linux": "/bin/bash",
-		"java.home": "/usr/local/openjdk-8"
+		"java.home": "/usr/local/openjdk-11"
 	},
 	
 	// Add the IDs of extensions you want installed when the container is created.