Property definitions

jvm $ JavaVMOption :: extra_info
	fun extra_info: String import CString.to_s `{
		return CString_to_s((char*)self->extraInfo);
	`}
lib/jvm/jvm.nit:118,2--120,3