Google and Oracle battle over the future of Android