Arduino IDE 1.0.2. Just deleted the whole thing (including sketch folder) and reinstalled. (I think it was 1.0.1, before, they must have updated it quite recently).
embedxcode downloaded installer package from your website on 21 oct 2012 (where do I see the version?)
Same result...
I will try a little more over the weekend