"Java virtual machine"@en .