Bug in Arduino IDE 1.0

Anyway, just beginning arduino stuff... Many thanks.