I know this thread is a bit old but this update (Final release for Arduino 1.0.1) did not work for me until I moved the “arduino-1.0.1” directory to one without spaces in name(s).

The official Arduino IDE is a dour piece of software designed for uploading code to the ubiquitous and super-cool micro controller. It is a standalone, non-networked app that isn’t very pretty ...