Version code of the JVM requested by create_jvm

Default at 0x00010002 for JNI_VERSION_1_2.

Property definitions

jvm $ JavaVMBuilder :: version
	# Version code of the JVM requested by `create_jvm`
	#
	# Default at 0x00010002 for `JNI_VERSION_1_2`.
	var version = 0x00010002 is writable
lib/jvm/jvm.nit:52,2--55,37