Preferences preferences= Platform.getPlugin("org.eclipse.ui.workbench.texteditor").getPluginPreferences();
Preferences preferences= Platform.getPlugin("org.eclipse.ui.editors").getPluginPreferences();
	private boolean isNavigationTargetType(Object type) {		Preferences preferences= Platform.getPlugin("org.eclipse.ui.workbench.texteditor").getPluginPreferences(); //$NON-NLS-1$		Iterator i= getAnnotationPreferences().getAnnotationPreferences().iterator();		while (i.hasNext()) {			AnnotationPreference annotationPref= (AnnotationPreference) i.next();			if (annotationPref.getAnnotationType().equals(type)) {//				See bug 41689//				String key= forward ? annotationPref.getIsGoToNextNavigationTargetKey() : annotationPref.getIsGoToPreviousNavigationTargetKey();				String key= annotationPref.getIsGoToNextNavigationTargetKey();				if (key != null && preferences.getBoolean(key))					return true;			}		}		return false;	}