Summary
- updated to jdk-11.0.6+10;
- misc tuning, following hint by IntelliJ;
- tuned;
- tuned -- avoid deprecated constructors;
- proper comparison of Option values, following hint by IntelliJ;
- unused -- clone of Option.apply;
- added "isabelle scala_project" to support e.g. IntelliJ IDEA;
- unused;