Bug#746466: proofgeneral hijacks the emacs icon identity

[Jerome]

Hi,

FYI this bug is now also visible with KDE5 in stretch. The workaround 
(commenting
"StartupWMClass=Emacs" in the proogeneral.desktop file) works.
Thanks