column.setToolTipText(oldShell, null, column.toolTipText); column.setToolTipText(newShell, column.toolTipText, null);
column.setToolTipText(oldShell, null); column.setToolTipText(newShell, column.toolTipText);
void fixChildren (Shell newShell, Shell oldShell, Decorations newDecorations, Decorations oldDecorations, Menu [] menus) {	super.fixChildren (newShell, oldShell, newDecorations, oldDecorations, menus);	for (int i=0; i<columnCount; i++) {		TableColumn column = columns [i];		if (column.toolTipText != null) {			column.setToolTipText(oldShell, null, column.toolTipText);			column.setToolTipText(newShell, column.toolTipText, null);		}	}}