#1103 (Jan 16, 2020, 12:50:08 AM)

1. updated to jdk-11.0.6+10; (detail / hgweb)
2. misc tuning, following hint by IntelliJ; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned -- avoid deprecated constructors; (detail / hgweb)
5. proper comparison of Option values, following hint by IntelliJ; (detail / hgweb)
6. unused -- clone of Option.apply; (detail / hgweb)
7. added "isabelle scala_project" to support e.g. IntelliJ IDEA; (detail / hgweb)
8. unused; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.