Property definitions

jvm $ JniEnv :: get_float_field
	fun get_float_field(obj: JavaObject, fieldID: JFieldID): Float `{
		return (*self)->GetFloatField(self, obj, fieldID);
	`}
lib/jvm/jvm.nit:358,2--360,3