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 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. 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