[GNOME Session]
Name=GNOME StumpWM
RequiredComponents=gnome-panel;gnome-settings-daemon;
RequiredProviders=windowmanager;
DefaultProvider-windowmanager=stumpwm
DefaultProvider-notifications=notify-osd
DesktopName=GNOME