return 4;
IPreferenceStore store= getPreferenceStore();  new PreferenceListener(sourceViewer, store);  return store.getInt(PREF_TAB_SIZE);
	public int getTabWidth(ISourceViewer sourceViewer) {		return 4;	}