public void setupDocument(Object element, IDocument document) {
protected void setupDocument(Object element, IDocument document) {
	public void setupDocument(Object element, IDocument document) {		if (document != null) {			JavaTextTools tools= JavaPlugin.getDefault().getJavaTextTools();			tools.setupDocument(document, IJavaPartitions.JAVA_PARTITIONING);		}	}