tools.setupJavaDocumentPartitioner(document);
tools.setupJavaDocumentPartitioner(document, IJavaPartitions.JAVA_PARTITIONING);
	static void setupDocument(IDocument document) {		JavaTextTools tools= getJavaTextTools();		if (tools != null)			tools.setupJavaDocumentPartitioner(document);	}