[Bug 559040] Sometimes the Gnome Menu stops working. Then panel is still ok but not the menu. Get an error in syslog