franceslup:
Yes.. Try to download another time or in system preference, you have to autoirze third party application... For me is working great on OSX 10.8.1
What I did... with same result.
I downloaded directly from GitHub - arduino/Arduino at ide-1.5.x and build the application.
It works fine.