Regarding current JVMTI improvements

[Michael Rasmussen]

Hi Alan

>
> [1] https://bugs.openjdk.java.net/browse/JDK-8144730
> [2] https://bugs.openjdk.java.net/browse/JDK-8136930
> [3] https://bugs.openjdk.java.net/browse/JDK-8146454

Thank you for the references, I just wanted to mention them again; but of
course they are logged in the system, silly me just failed at finding them!

/Michael