protected boolean load(final URL url) {
protected synchronized boolean load(final URL url) {
	protected boolean load(final URL url) {		final Plugin plugin= JavaCore.getPlugin();		if (plugin != null) {			plugin.getPluginPreferences().addPropertyChangeListener(this);			return updateTaskTags();		}		return false;	}