public void columnSizeChanged(TableColumnCore tableColumn, int diff) { Iterator iter = listeners.iterator(); while (iter.hasNext()) { TableStructureModificationListener listener = (TableStructureModificationListener) iter.next(); listener.columnSizeChanged(tableColumn, diff); } }