#758 (Oct 7, 2018, 12:50:09 AM)

1. activate jdk-11 (detail / hgweb)
2. updated xstream.jar to 1.4.10 for Java 9/10/11 (see http://x-stream.github.io); (detail / hgweb)
3. updated to jdk-11: jre is only a symlink to jdk; (detail / hgweb)
4. support for jdk-11; (detail / hgweb)
5. updated to jdk-11; (detail / hgweb)
6. generalization due to Alexander Maletzky (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.