Alex,
why so complicated? why don't just follow the comment 'XXX it might be good idea to change <?xml...encoding?>' and appropriate change xml preamble encoding?
I thought that was uncomplicated. How does the actual uncomplicated way go? Any code I've seen to change the <?xml...encoding?> section by hand seemed to involve a bunch of lines of searching and temp variables and all that. The way I sent a patch for just ensures the compiler function is called with the correct charset.
Jon
