Property definitions

jvm $ JavaVMOption :: string
	fun string: String import CString.to_s `{
		return CString_to_s((char*)self->optionString);
	`}
lib/jvm/jvm.nit:111,2--113,3