From 2b52fca45b94cb37ff7bcb93a0614e4387785049 Mon Sep 17 00:00:00 2001 From: Jason Liu Date: Thu, 30 Jul 2020 23:21:12 +0800 Subject: [PATCH 1/3] Update Dockerfile --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 9718047..c41ba3b 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM openjdk:8-jdk +FROM openjdk:11-jdk # This Dockerfile adds a non-root user with sudo access. Use the "remoteUser" # property in devcontainer.json to use it. On Linux, the container user's GID/UIDs From 2a338a105df0b5b834a5ed7d44ddc71d78559715 Mon Sep 17 00:00:00 2001 From: Jason Liu Date: Thu, 30 Jul 2020 23:28:53 +0800 Subject: [PATCH 2/3] 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. From 1d5d90dc8848025295ac8133e28d087b5f7fab26 Mon Sep 17 00:00:00 2001 From: Jason Liu Date: Thu, 30 Jul 2020 23:41:22 +0800 Subject: [PATCH 3/3] Update pom.xml --- pom.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pom.xml b/pom.xml index 39978e7..08e5deb 100644 --- a/pom.xml +++ b/pom.xml @@ -16,9 +16,9 @@ - 1.8 - 1.8 - 1.8 + 11 + 11 + 11