It is already reported here: Google Code Archive - Long-term storage for Google Code Project Hosting.
And I wrote a patch recently for it that's available here, hope it'll be included in the official version soon: Some small fixes, one per commit by LJNielsenDk · Pull Request #64 · arduino/Arduino · GitHub