jdk/src/java.base/share/classes/java/lang/VirtualMachineError.java
changeset 41117 57810b6b669e
parent 32649 2ee9017c7597