PreferenceConverter.setValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT).getFontData());
PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT).getFontData());
	public void startup() throws CoreException {		super.startup();		registerAdapters();				/*		 * Backward compatibility: set the Java editor font in this plug-in's		 * preference store to let older versions access it. Since 2.1 the		 * Java editor font is managed by the workbench font preference page.		 */		PreferenceConverter.setValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT).getFontData());		fFontPropertyChangeListener= new IPropertyChangeListener() {			public void propertyChange(PropertyChangeEvent event) {				if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty()))					PreferenceConverter.setValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT).getFontData());	}		};		JFaceResources.getFontRegistry().addListener(fFontPropertyChangeListener);	}