Property definitions

jvm $ JavaVMInitArgs :: version
	fun version: Int `{ return self->version; `}
lib/jvm/jvm.nit:100,2--45