I've just installed the eclipse+android dev tools bundle, x86_64, version 20131030.
I've noticed that, after a few sessions, eclipse will freeze when trying to load a workspace.
The workaround is to start eclipse with the -clean argument, which I found on this StackOverflow page:
$ eclipse -clean
That is all. I'm not investing any time learning eclipse in any detail at the moment, so I won't care why it works till it stops. This is so future-me doesn't forget what the option is called.