Merge pull request #13 from Jasonlhy/master

Update to JDK 11
This commit is contained in:
Chuck Lantz
2020-07-30 10:59:07 -07:00
committed by GitHub
3 changed files with 5 additions and 5 deletions

View File

@@ -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" # 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 # property in devcontainer.json to use it. On Linux, the container user's GID/UIDs

View File

@@ -5,7 +5,7 @@
// Set *default* container specific settings.json values on container create. // Set *default* container specific settings.json values on container create.
"settings": { "settings": {
"terminal.integrated.shell.linux": "/bin/bash", "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. // Add the IDs of extensions you want installed when the container is created.

View File

@@ -16,9 +16,9 @@
</dependency> </dependency>
</dependencies> </dependencies>
<properties> <properties>
<jdk.version>1.8</jdk.version> <jdk.version>11</jdk.version>
<maven.compiler.source>1.8</maven.compiler.source> <maven.compiler.source>11</maven.compiler.source>
<maven.compiler.target>1.8</maven.compiler.target> <maven.compiler.target>11</maven.compiler.target>
</properties> </properties>
<build> <build>
<pluginManagement> <pluginManagement>