public void unload() {
public synchronized void unload() {
	public void unload() {		final Plugin plugin= JavaCore.getPlugin();		if (plugin != null)			plugin.getPluginPreferences().removePropertyChangeListener(this);		super.unload();	}