The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
The trick was mentioned by answer #8: Edit the <code>./arduino</code> file and remove the <code>-Dswing.defaultlaft</code> property.