Property definitions

android $ NativeResources :: get_resource_entry_name
	fun get_resource_entry_name(resid: Int): JavaString in "Java" `{ return self.getResourceEntryName((int)resid); `}
lib/android/assets_and_resources.nit:197,2--114