20180712 world.europe: EU fine may force Google to make changes in Android