EventListener [] listeners = getListeners(TableColumnModelListener.class); for (int i = 0; i < listeners.length; ++i) ((TableColumnModelListener)listeners[i]).columnMarginChanged(changeEvent);
  protected void fireColumnMarginChanged()  {		// TODO  }