On Wed, 30 Oct 2019, 09:16 Richard Grin, <richard.g...@univ-cotedazur.fr> wrote:
> I think that the problem about Java 11.0.5 existed before for other > versions. > It was introduced in JDK updates in mid-Oct, hence why it wasn't picked up earlier and the workaround only just made it into 11.2 Best wishes, Neil >