Thanks for the quick response. On Sat, May 30, 2020 at 7:05 PM Remi Forax <forax at univ-mlv.fr> wrote: > > > Shall I open an issue at JBS? > > yes ! > > Done: https://bugs.openjdk.java.net/browse/JDK-8246197