eclipse weem to need this commit (something about the .classpath, that
should be ignored anyway?)
GUI was partially broken on Mac OS X (Java 1.7), fixed
Merge branch 'GUIimprovement'
I declare this version rc1.0