Remove preference listener if manager is shut down or project is deleted#1707

laeubi merged 1 commit intoeclipse-pde:mastereclipse-pde/eclipse.pde:masterfrom

ptziegler:cleanup-listeners-in-workspace-model-managerptziegler/eclipse.pde:cleanup-listeners-in-workspace-model-managerCopy head branch name to clipboard