Property definitions

jvm $ JavaVMOption :: string=
	fun string=(v: String) import String.to_cstring `{
		self->optionString = String_to_cstring(v);
	`}
lib/jvm/jvm.nit:114,2--116,3