I have posted a bug report to the Arduino team.
http://code.google.com/p/arduino/issues/detail?id=866