Property definitions

jvm $ JniEnv :: set_float_field
	fun set_float_field(obj: JavaObject, fieldID: JFieldID, value: Float) `{
		(*self)->SetFloatField(self, obj, fieldID, value);
	`}
lib/jvm/jvm.nit:378,2--380,3