#1586 (Apr 20, 2018, 4:30:25 PM)

1. merged (detail / hgweb)
2. updated to postgresql-42.2.2, with more smooth support for Java 9/10; (detail / hgweb)
3. minimal Java source version for jdk-10.0.1; (detail / hgweb)
4. workaround for jdk-10.0.1; (detail / hgweb)
5. more robust, notably for jdk-10.0.1 where jre is absent; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 51 min build duration;
• 56 min total from scheduled to completion.