Hi Jaroslav: > On 23 Mar 2018, at 09:39, Jaroslav Tulach <jaroslav.tulach at oracle.com> wrote: > > Jan Lahoda also pointed me to > https://bugs.openjdk.java.net/browse/JDK-8200166 Thanks. From the sound of it, my issue could be an instance of this, too. Thank you Stefan -- Stefan Marr School of Computing, University of Kent http://stefan-marr.de/research/