Pspp icon name in gui

[Friedrich Beckmann]

Hi John,

the pspp icon name was changed to org.gnu.pspp. The gui code sets the window 
icon at various places to pspp. I could not figure out where this icon is used 
in the window manager. Do you see an effect somewhere? 

Regards

Fritz