Property definitions

jvm $ JavaVMOption :: extra_info=
	fun extra_info=(v: String) import String.to_cstring `{
		self->extraInfo = String_to_cstring(v);
	`}
lib/jvm/jvm.nit:121,2--123,3