Property definitions

jvm $ JavaVMInitArgs :: defaultinit
private extern class JavaVMInitArgs `{ JavaVMInitArgs* `}
	new `{ return (JavaVMInitArgs*)malloc(sizeof(JavaVMInitArgs)); `}

	# Set the defaut config for a VM
	# Can be called after setting the version
	#
	# Unavailable on Android, where you cannot instanciate a new JVM.
	fun set_default `{
	#ifndef ANDROID
		JNI_GetDefaultJavaVMInitArgs(self);
	#endif
	`}

	fun version: Int `{ return self->version; `}
	fun version=(v: Int) `{ self->version = v; `}

	fun options: JavaVMOptionArray `{ return self->options; `}
	fun options=(v: JavaVMOptionArray) `{ self->options = v; `}

	fun n_options: Int `{ return self->nOptions; `}
	fun n_options=(v: Int) `{ self->nOptions = v; `}
end
lib/jvm/jvm.nit:87,1--108,3