Property definitions

jvm $ JavaVMOption :: defaultinit
private extern class JavaVMOption `{ JavaVMOption* `}
	fun string: String import CString.to_s `{
		return CString_to_s((char*)self->optionString);
	`}
	fun string=(v: String) import String.to_cstring `{
		self->optionString = String_to_cstring(v);
	`}

	fun extra_info: String import CString.to_s `{
		return CString_to_s((char*)self->extraInfo);
	`}
	fun extra_info=(v: String) import String.to_cstring `{
		self->extraInfo = String_to_cstring(v);
	`}
end
lib/jvm/jvm.nit:110,1--124,3