Sorry: link as per here:http://arduino.cc/forum/index.php/topic,118440.0.html
From the page:Hello, this is a tweaked Arduino IDE, hope you enjoy it! If it works for you please leave a comment.Download (2012-12-13):setup_Arduino_ERW_1.0.3_20121213.zip (exe, no-java)Less than 40 mb, for Windows XP, Windows Vista, Windows 7/8 (x86/x64), Requires .Net Framework 4.0 and nothing else required at all, no other app, package, drivers, just your arduino and brain. Want to keep me interested on improving our arduino experience?, so buy me a coffee/pepsi
Well that is a 'tweaked IDE by a 3rd party, not an official arduino IDE release that one downloads from the Arduino site.
So I still have two lemons.