java.awt.swing.table.JTableHeader spec needs to be updated:
1. descriptions of
setDraggedColumn(TableColumn) and
setResizingColumn(TableColumn)
   say nothing about these methods' behavior in case when
   the specified TableColumn is incorrect.
2. There are no descriptions for the following methods
columnAdded(TableColumnModelEvent e)
columnMarginChanged(ChangeEvent e)
columnMoved(TableColumnModelEvent e)
columnRemoved(TableColumnModelEvent e)
columnSelectionChanged(ListSelectionEvent e)
getUI()
setUI(TableHeaderUI)
As discussed with Sharon Zakhour via emails the following 2 methods:

setDraggedColumn(TableColumn)
setResizingColumn(TableColumn)

are still incomplete. Further investigation by Sharon is needed for
closure and I will reopen this bug.

Roger Pham 10/27/99