On Fri, 2020-01-10 at 11:42 +0100, Volker Simonis wrote: > I'll file a jdk8u request for this trivial fix. I'm curious. Why isn't this a problem for later JDK versions? Do you know? Thanks, Severin