#757 (Oct 6, 2018, 12:50:13 AM)

1. discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8; (detail / hgweb)
2. more [simp] (detail / hgweb)
3. avoid TCP_NODELAY (in contrast to 18c621069bf8): might cause problems with some versions of Ubuntu 18.04; (detail / hgweb)

Started by an SCM change

This run spent:

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