hg: panama/dev: Automatic merge with default

[maurizio.cimadamore at oracle.com]

Changeset: 308245d0debe
Author:    mcimadamore
Date:      2019-10-09 22:09 +0000
URL:       https://hg.openjdk.java.net/panama/dev/rev/308245d0debe

Automatic merge with default

- src/java.base/share/native/libjava/verify_stub.c
- src/java.base/share/native/libverify/check_format.c
- src/java.base/unix/native/libjava/jdk_util_md.c
- test/hotspot/jtreg/compiler/graalunit/EA9Test.java
- test/hotspot/jtreg/compiler/graalunit/com.oracle.mxtool.junit/com/oracle/mxtool/junit/JLModule.java
- test/hotspot/jtreg/serviceability/jvmti/RedefineClasses/RedefineDeleteJmethod.java
- test/hotspot/jtreg/serviceability/jvmti/RedefineClasses/libRedefineDeleteJmethod.c