Treat missing checksum file as an error

Author: sormuras

src/Download.java

@@ -201,12 +201,13 @@ void verifyChecksums(String checksum) throws Exception {
       var remoteChecksum = findRemoteChecksum(checksum);
       if (remoteChecksum.isEmpty()) {
         GitHub.warn("Checksum not available for: " + uri);
-        return;
+      } else {
+        var remote = remoteChecksum.get();
+        GitHub.debug("Remote checksum: " + remote);
+        if (cached.equals(remote)) {
+          return;
+        }
       }
-
-      var remote = remoteChecksum.get();
-      GitHub.debug("Remote checksum: " + remote);
-      if (cached.equals(remote)) return;
       var message = "Checksum verification failed, deleting cached archive";
       Files.delete(archive);
       GitHub.error(message);

test/Test.java

@@ -79,6 +79,7 @@ static void checkJDK(String website, Download.JDK jdk) {
       var head = BROWSER.head(uri);
       if (head.statusCode() < 200 || head.statusCode() >= 400) ERRORS.add(head.toString());
       System.out.println(head);
+      System.out.println("      " + BROWSER.browse(uri + ".sha256"));
     } catch (Exception exception) {
       ERRORS.add(jdk + "\n" + exception);
     }