Re: what Google copied was a list
Well, then isn't this trivial to fix?
Google just have to stop distributing their headers, and start distributing 100% identical headers that are produced by somebody describing the content of the headers to another person who is sitting at a keyboard and just jotting down the types. Few weeks of work, no long-term impact on Android.
Maybe they have to stop distributing the existing files, rebuild precisely binarily equal files and start distributing those. It'd be a giant farce, but it's a doable giant farce.