fPartitionScanner= null;
	public void dispose() {		fCodeScanner= null;		fMultilineCommentScanner= null;		fSinglelineCommentScanner= null;		fStringScanner= null;		fJavaDocScanner= null;		fPartitionScanner= null;		if (fColorManager != null) {			fColorManager.dispose();			fColorManager= null;		}		if (fPreferenceStore != null) {			fPreferenceStore.removePropertyChangeListener(fPreferenceListener);			fPreferenceStore= null;			if (fCorePreferenceStore != null) {				fCorePreferenceStore.removePropertyChangeListener(fPreferenceListener);				fCorePreferenceStore= null;			}			fPreferenceListener= null;		}	}