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