Update HotSpot_JVM.asciidoc