The PreferenceChangeListener that is added when a project is
created/opened or when the plugin is started needs to be removed when
the project is deleted, in order to make it eligible for garbage
collection.