# Default Java Virtual Machine to use
	#
	# Instantiated using `create_default_jvm` if not already set.
	fun jvm: JavaVM
	do
		if jvm_cache == null then create_default_jvm
		return jvm_cache.as(not null)
	end