Upgrade to JDK 20

Signed-off-by: Manoel Campos <[email protected]>

.github/workflows/maven.yml

@@ -16,10 +16,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - name: Set up JDK 19
+    - name: Set up JDK 20
       uses: actions/setup-java@v3
       with:
-        java-version: '19'
+        java-version: '20'
         distribution: 'zulu'
         cache: maven
     - name: Build with Maven

.gitpod.Dockerfile

@@ -1,5 +1,5 @@
 FROM gitpod/workspace-full
 USER gitpod
 RUN bash -c ". ~/.sdkman/bin/sdkman-init.sh && \
-    sdk install java 19-zulu && \
-    sdk default java 19-zulu"
+    sdk install java 20-zulu && \
+    sdk default java 20-zulu"

pom.xml

@@ -19,7 +19,7 @@
                 <artifactId>maven-compiler-plugin</artifactId>
                 <version>3.8.1</version>
                 <configuration>
-                    <release>19</release>
+                    <release>20</release>
                     <compilerArgs>
                         <arg>--enable-preview</arg>
                     </compilerArgs>