I have the same problem in using the GUI with Ubuntu 12.04 and Cinnamon. Nevertheless no problem with Unity.

I guess it is a specific problem of Cinnamon (or gnome shell), maybe due to java?