Java 虚拟机导论：什么是 Java虚拟机