On why the Oracle-Google war might have a happy end