PreferenceConstants.getPreferenceStore().setValue(WorkInProgressPreferencePage.PREF_FORMATTER, true);
	protected void setUp() {		if (JavaCore.getPlugin() != null) {			Hashtable options= JavaCore.getDefaultOptions();			options.put(JavaCore.FORMATTER_TAB_CHAR, JavaCore.TAB);			options.put(JavaCore.FORMATTER_TAB_SIZE, "4");			JavaCore.setOptions(options);		}		fDocument= new Document();		String[] types= new String[] {			IJavaPartitions.JAVA_DOC,			IJavaPartitions.JAVA_MULTI_LINE_COMMENT,			IJavaPartitions.JAVA_SINGLE_LINE_COMMENT,			IJavaPartitions.JAVA_STRING,			IJavaPartitions.JAVA_CHARACTER,			IDocument.DEFAULT_CONTENT_TYPE		};		fPartitioner= new DefaultPartitioner(new FastJavaPartitionScanner(), types);		fPartitioner.connect(fDocument); 		fDocument.setDocumentPartitioner(IJavaPartitions.JAVA_PARTITIONING, fPartitioner);				JavaHeuristicScanner hScanner= new JavaHeuristicScanner(fDocument);		fScanner= new JavaIndenter(fDocument, hScanner);	}