On 4/11/19 11:48 AM, Roman Kennke wrote: > This brings in lots of goodies from jdk/jdk: > > http://cr.openjdk.java.net/~rkennke/upstream-jdk13-merge-2019-04-11/changes.txt OK, let's do it. -Aleksey