Update JVM.rst