#1823 (Nov 26, 2022, 2:52:39 AM)

1. clarified exception: avoid odd compiler warning; (detail / hgweb)
2. update to scala-3.2.1;
   enforce rebuild of Isabelle/ML + Isabelle/Scala; (detail / hgweb)
3. recovered check from 69139cc01ba1: Windows does not support PosixFilePermission; (detail / hgweb)
4. update to jdk-17.0.5 (Oct-2022); (detail / hgweb)
5. more standard component build process; (detail / hgweb)
6. proper treatment of tar.gz double-extension; (detail / hgweb)
7. proper download, instead of assuming local directory; (detail / hgweb)
8. more standard component build process; (detail / hgweb)
9. clarified signature;
   omit somewhat pointless test for "unzip" command; (detail / hgweb)
10. clarified signature;
    tuned messages; (detail / hgweb)
11. discontinue unused JCEF: superseded by Electron with its bundled Chromium; (detail / hgweb)
12. prefer deterministic result; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 2 min waiting;
• 1 hr 50 min build duration;
• 3 hr 52 min total from scheduled to completion.