Use Java 17

sormuras · sormuras · commit 16808e2f3449 · 2022-03-22T15:38:23.000+01:00
diff --git a/.github/workflows/jdk.java.net-uri-list.yml b/.github/workflows/jdk.java.net-uri-list.yml
@@ -11,4 +11,4 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
-      - run: java --show-version src/ListOpenJavaDevelopmentKits.java ${{ github.event.inputs.name }}
+      - run: $JAVA_HOME_17_X64/bin/java --show-version src/ListOpenJavaDevelopmentKits.java ${{ github.event.inputs.name }}
diff --git a/.github/workflows/jdk.java.net-uri-update.yml b/.github/workflows/jdk.java.net-uri-update.yml
@@ -10,7 +10,7 @@ jobs:
     steps:
       - run: curl --output /dev/null --silent --head --fail https://jdk.java.net
       - uses: actions/checkout@v2
-      - run: java src/ListOpenJavaDevelopmentKits.java > jdk.java.net-uri.properties
+      - run: $JAVA_HOME_17_X64/bin/java src/ListOpenJavaDevelopmentKits.java > jdk.java.net-uri.properties
       - run: |
           git diff
           git config user.name github-actions
diff --git a/src/ListOpenJavaDevelopmentKits.java b/src/ListOpenJavaDevelopmentKits.java
@@ -157,7 +157,7 @@ static String browse(String uri) {
   static TreeMap<String, String> parse(String html) {
     var map = new TreeMap<String, String>();
 
-    for (var line : html.lines().collect(Collectors.toList())) {
+    for (var line : html.lines().toList()) {
       var uriMatcher = URI_PATTERN.matcher(line);
       if (uriMatcher.matches()) {
         var uri = uriMatcher.group(1);
