public final void connect(TextBufferEditor editor) throws CoreException {
public void connect(TextBuffer buffer) throws CoreException {
	public final void connect(TextBufferEditor editor) throws CoreException {		// does nothing	}