code: private IPreferenceStore createCombinedPreferenceStore(IEditorInput input) {
  		List<IPreferenceStore> stores = new ArrayList<IPreferenceStore>(3);
  
  		// IJavaProject project= EditorUtility.getJavaProject(input);
  		// if (project != null) {
  		// stores.add(new EclipsePreferencesAdapter(new
  		// ProjectScope(project.getProject()), JavaCore.PLUGIN_ID));
  		// }
  
  		stores.add(VdmUIPlugin.getDefault().getPreferenceStore());
  		// stores.add(new
  		// PreferencesAdapter(VdmCore.getDefault().getPluginPreferences()));
  		stores.add(EditorsUI.getPreferenceStore());
  		stores.add(PlatformUI.getPreferenceStore());
  		// stores.get(0).setValue(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_OVERVIEW_RULER,true);
  
  		return new ChainedPreferenceStore(
  				(IPreferenceStore[]) stores.toArray(new IPreferenceStore[stores
  						.size()]));
  	}
docs: Creates and returns the preference store for this Java editor with the
  given input.
  
  @param input
  The editor input for which to create the preference store
  @return the preference store for this editor
  @since 3.0