Property definitions

android $ NativeResources :: get_dimension
	fun get_dimension(id: Int): Int in "Java" `{ return (int)self.getDimension((int)id); `}
lib/android/assets_and_resources.nit:192,2--88