tableHeader = newHeader;
if (tableHeader != null) tableHeader.setTable(null); tableHeader = t; if (tableHeader != null) tableHeader.setTable(this); revalidate(); repaint();
  public void setTableHeader(JTableHeader newHeader)  {    tableHeader = newHeader;  }